X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=22c0f692de0638be8e8d5405da76d573837086e2;hb=refs%2Fheads%2Fpivot-table;hp=7ee5585c5e009d48b6d98cd391e9c2c0c96f53c6;hpb=28e36cf42e55d270c8304c79f8845bf5f8e54516;p=pspp

diff --git a/Smake b/Smake
index 7ee5585c5e..22c0f692de 100644
--- a/Smake
+++ b/Smake
@@ -10,6 +10,7 @@ GNULIB_MODULES = \
 	c-ctype \
 	c-strtod \
 	close \
+	configmake \
 	count-one-bits \
 	crc \
 	crypto/md4 \