X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=383104dd9d4c485058241a4cc89963fe99a6e47a;hb=ab3ae49b850af736519c2bb9f08152ed9a994982;hp=6ab0bd4b386814139a83a7e99afff77a5cb537b3;hpb=c0f3fdc3a77295731aae589a0e3d9f5c60bf35ad;p=pspp-builds.git diff --git a/Smake b/Smake index 6ab0bd4b..383104dd 100644 --- a/Smake +++ b/Smake @@ -8,6 +8,7 @@ GNULIB_MODULES = \ assert \ byteswap \ c-strcase \ + c-strcasestr \ c-ctype \ c-strtod \ clean-temp \ @@ -34,6 +35,7 @@ GNULIB_MODULES = \ gettimeofday \ getopt-gnu \ gitlog-to-changelog \ + include_next \ isfinite \ isinf \ isnan \ @@ -41,6 +43,7 @@ GNULIB_MODULES = \ inttostr \ localcharset \ mbchar \ + mbiter \ memcasecmp \ memchr \ mempcpy \