X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=2741599f57cadddc00983b39a636c22fb618a602;hb=985c40f2a83588b25f0e6fe7f7d82863c5d34d43;hp=744bb0513d85229425ccb1fcfdc9230fdaf76a78;hpb=b0254faa92f51d5bdf8e6a78443655b6c188a94e;p=pspp-builds.git

diff --git a/Smake b/Smake
index 744bb051..2741599f 100644
--- a/Smake
+++ b/Smake
@@ -3,7 +3,7 @@
 GNULIB = ../gnulib
 GNULIB_TOOL = $(GNULIB)/gnulib-tool
 
-GNULIB_MODULES = alloca alloca-opt assert full-read full-write		\
+GNULIB_MODULES = alloca alloca-opt assert c-ctype full-read full-write	\
 gethostname getline getlogin_r getopt gettext intprops memcasecmp	\
 memchr memcmp memmem memmove memset progname readlink restrict		\
 snprintf stat-macros stdbool stpcpy strcase strcspn strerror strftime	\