X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;fp=Smake;h=3e63d869a7aaa07048cae896ae4065a0c26f7f3e;hb=4e8bfea364b7a1d2d496e14dfefc9dfeefff8d11;hp=4bdd8957fe53aecbf4f02ef63c3e719249c87fea;hpb=b81922824d04dfc85e777827c3f978450dc62594;p=pspp diff --git a/Smake b/Smake index 4bdd8957fe..3e63d869a7 100644 --- a/Smake +++ b/Smake @@ -62,6 +62,8 @@ GNULIB_MODULES = \ gettimeofday \ getopt-gnu \ gitlog-to-changelog \ + havelib \ + iconv \ include_next \ isfinite \ isinf \