X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=21e7ff18f777046c37cc1724e4cd06411e44ec10;hb=refs%2Fheads%2Fctables7;hp=0b64221ca2c16358f80b1c2cef5b94e5e9e9ed4a;hpb=4daafd79f8b250b1651c1b66a3171a654abf252d;p=pspp diff --git a/Smake b/Smake index 0b64221ca2..21e7ff18f7 100644 --- a/Smake +++ b/Smake @@ -62,6 +62,8 @@ GNULIB_MODULES = \ gettimeofday \ getopt-gnu \ gitlog-to-changelog \ + havelib \ + iconv \ include_next \ isfinite \ isinf \