X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=python%2Fautomake.mk;h=96720421075c44763dd9378f659f3210e6829416;hb=ae490a5642978cd52b698583c62c3e7a52f6a92f;hp=7ea31186c8e146a84a8137da8017d5d3c3a231b1;hpb=4fb7d8142603008589c79a6e5caed3a6da8f7188;p=openvswitch

diff --git a/python/automake.mk b/python/automake.mk
index 7ea31186..96720421 100644
--- a/python/automake.mk
+++ b/python/automake.mk
@@ -28,9 +28,11 @@ ovs_pyfiles = \
 	python/ovs/socket_util.py \
 	python/ovs/stream.py \
 	python/ovs/timeval.py \
+	python/ovs/unixctl.py \
+	python/ovs/util.py \
 	python/ovs/version.py \
-	python/ovs/vlog.py \
-	python/ovs/util.py
+	python/ovs/vlog.py
+
 PYFILES = $(ovs_pyfiles) python/ovs/dirs.py $(ovstest_pyfiles)
 EXTRA_DIST += $(PYFILES)
 PYCOV_CLEAN_FILES += $(PYFILES:.py=.py,cover)
@@ -62,5 +64,8 @@ ALL_LOCAL += $(srcdir)/python/ovs/version.py
 $(srcdir)/python/ovs/version.py: config.status
 	$(ro_shell) > $@.tmp
 	echo 'VERSION = "$(VERSION)"' >> $@.tmp
-	echo 'BUILDNR = "$(BUILDNR)"' >> $@.tmp
+	if [ "$(BUILDNR)" != "0" ]; \
+	    then echo 'BUILDNR = "+build$(BUILDNR)"' >> $@.tmp; \
+	    else echo 'BUILDNR = ""' >> $@.tmp; \
+	fi;
 	mv $@.tmp $@