X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=boot.sh;h=dce5625c51acda80d0864a7c093825bffd7afb80;hb=169e3808f7c510a048589d8e658336919079a6a0;hp=05dd3599646e634b2599cd512b00408a884e444d;hpb=064af42167bf4fc9aaea2702d80ce08074b889c0;p=openvswitch

diff --git a/boot.sh b/boot.sh
index 05dd3599..dce5625c 100755
--- a/boot.sh
+++ b/boot.sh
@@ -1,2 +1,6 @@
 #! /bin/sh
 autoreconf --install --force
+
+# Ensure that debian/changelog is up-to-date.
+VERSION=`autom4te --language=autoconf -t 'AC_INIT:$2' configure.ac`
+build-aux/update-debian-changelog debian/changelog "$VERSION"