X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fcheck-vlog-modules;h=d6efaa4f58486ad0914dc51514324da759889963;hb=8321fb9c570bd25bb8925e7b5116ab90662113b5;hp=d40c048e9574ed6e1c5b2584ec041e7a8e4f923c;hpb=480ce8abca4ae262a4148fe757aebe3e0ddba6f6;p=openvswitch

diff --git a/build-aux/check-vlog-modules b/build-aux/check-vlog-modules
index d40c048e..d6efaa4f 100755
--- a/build-aux/check-vlog-modules
+++ b/build-aux/check-vlog-modules
@@ -40,7 +40,7 @@ vlog_modules=`
 
 # Get the list of modules defined in some source file.
 src_modules=`
-    git grep -h -E '^[ 	]*VLOG_DEFINE(_THIS)?_MODULE\([_a-zA-Z0-9]+\)[ 	]*$' \
+    git grep -h -E '^[ 	]*VLOG_DEFINE(_THIS)?_MODULE\([_a-zA-Z0-9]+\);[ 	]*$' \
     | sed 's/.*(\([_a-zA-Z0-9]\{1,\}\)).*/\1/' \
     | LC_ALL=C sort -u \
     | xargs echo`