X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=0b64221ca2c16358f80b1c2cef5b94e5e9e9ed4a;hb=refs%2Fheads%2Fctables5;hp=3cf37f5df12a5e59bf5631a07c22b60b113c9dc0;hpb=21f20b8cb6460fd5ac9db7fde038bc00cfa80831;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 \