X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fautomake.mk;h=3bf9da1ce5a8c45f1ee078078d7a72cd32bba6ab;hb=480ce8ab;hp=5cc4e0fe46116398294d1411eb44e6fc614bab3b;hpb=c83cdd307248d798eac0d85681b0abeaaff1bf61;p=openvswitch

diff --git a/lib/automake.mk b/lib/automake.mk
index 5cc4e0fe..3bf9da1c 100644
--- a/lib/automake.mk
+++ b/lib/automake.mk
@@ -69,6 +69,8 @@ lib_libopenvswitch_a_SOURCES = \
 	lib/odp-util.h \
 	lib/ofp-print.c \
 	lib/ofp-print.h \
+	lib/ofp-util.c \
+	lib/ofp-util.h \
 	lib/ofpbuf.c \
 	lib/ofpbuf.h \
 	lib/ovsdb-data.c \
@@ -260,3 +262,9 @@ lib/coverage-counters.c: $(COVERAGE_FILES) lib/coverage-scan.pl
 	(cd $(srcdir) && $(PERL) lib/coverage-scan.pl $(COVERAGE_FILES)) > $@.tmp
 	mv $@.tmp $@
 EXTRA_DIST += lib/coverage-scan.pl
+
+ALL_LOCAL += check-vlog-modules
+check-vlog-modules:
+	cd $(srcdir) && build-aux/check-vlog-modules
+.PHONY: check-vlog-modules
+EXTRA_DIST += build-aux/check-vlog-modules