X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;fp=Smake;h=0b64221ca2c16358f80b1c2cef5b94e5e9e9ed4a;hb=4daafd79f8b250b1651c1b66a3171a654abf252d;hp=3cf37f5df12a5e59bf5631a07c22b60b113c9dc0;hpb=b7479c9a558c9d46c5685724b0a67f8ba2e7956c;p=pspp

diff --git a/Smake b/Smake
index 3cf37f5df1..0b64221ca2 100644
--- a/Smake
+++ b/Smake
@@ -136,6 +136,7 @@ GNULIB_MODULES = \
 	unitypes \
 	unlocked-io \
 	vasprintf-posix \
+	verify \
 	version-etc \
 	version-etc-fsf \
 	vfprintf-posix \