X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Frules;h=4a02a49e5c4539c8d66963ca2e338fcd6994f880;hb=1e71f10f38d2ad09ee854b7e926a63744a1883e1;hp=6e99ff6ec915b6e80ceddd3817ba7cdc92d8e1d1;hpb=ff8c6aa136118c65af50dd9dc8ed41b7fa2dcc03;p=openvswitch

diff --git a/debian/rules b/debian/rules
index 6e99ff6e..4a02a49e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -29,6 +29,7 @@ configure-stamp:
 	dh_testdir
 	test -e configure || ./boot.sh
 	test -d _debian || mkdir _debian
+	echo $(DEB_BUILD_OPTIONS)
 	echo $$CC
 	cd _debian && ( \
 		test -e Makefile || \
@@ -120,3 +121,9 @@ binary-arch: install-arch
 
 binary: binary-arch binary-indep
 .PHONY: build clean binary-indep binary-arch binary install install-indep install-arch configure
+
+# This GNU make extensions disables parallel builds for the current Makefile
+# but not for sub-Makefiles.  This is appropriate here because build-arch and
+# build-indep both invoke "make" on OVS, which can update some of the same
+# targets in ways that conflict (e.g. both update tests/testsuite).
+.NOTPARALLEL: