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

diff --git a/lib/automake.mk b/lib/automake.mk
index 5cc4e0fe..0588eea5 100644
--- a/lib/automake.mk
+++ b/lib/automake.mk
@@ -67,8 +67,12 @@ lib_libopenvswitch_a_SOURCES = \
 	lib/netdev.h \
 	lib/odp-util.c \
 	lib/odp-util.h \
+	lib/ofp-parse.c \
+	lib/ofp-parse.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 +264,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