X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=0b64221ca2c16358f80b1c2cef5b94e5e9e9ed4a;hb=refs%2Fheads%2Fctables6;hp=40eac89dd16873a7f753b82d48ec150fead27da4;hpb=32ecf6b0ebcedc9561e5058e4fab3b2a143349a1;p=pspp

diff --git a/Smake b/Smake
index 40eac89dd1..0b64221ca2 100644
--- a/Smake
+++ b/Smake
@@ -47,6 +47,7 @@ GNULIB_MODULES = \
 	environ \
 	fatal-signal \
 	fcntl \
+	fnmatch \
 	fpieee \
 	fprintf-posix \
 	full-read \
@@ -135,6 +136,7 @@ GNULIB_MODULES = \
 	unitypes \
 	unlocked-io \
 	vasprintf-posix \
+	verify \
 	version-etc \
 	version-etc-fsf \
 	vfprintf-posix \