From: Ben Pfaff <blp@nicira.com>
Date: Mon, 10 Nov 2008 18:10:02 +0000 (-0800)
Subject: Add build number to kernel modules built via Debian packaging.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=81c64138e7959fe62bdd4a01269d1f331db295d5;p=openvswitch

Add build number to kernel modules built via Debian packaging.
---

diff --git a/debian/rules b/debian/rules
index 705f83fa..fa3cea85 100755
--- a/debian/rules
+++ b/debian/rules
@@ -93,7 +93,7 @@ binary-modules: prep-deb-files
 	dh_testroot
 	dh_clean -k
 	tar xzf openflow.tar.gz
-	cd openflow && ./configure --with-$(l2x)=$(KSRC) $(DATAPATH_CONFIGURE_OPTS)
+	cd openflow && ./configure --with-$(l2x)=$(KSRC) $(DATAPATH_CONFIGURE_OPTS) --with-build-number=$(BUILD_NUMBER)
 	cd openflow && $(MAKE) -C $(dpdir)
 	install -d -m755 $(DSTDIR)
 	install -m644 openflow/$(dpdir)/*_mod.$(KO)o $(DSTDIR)/