From: Ben Pfaff Date: Fri, 25 Feb 2022 22:59:49 +0000 (-0800) Subject: work X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=a4fed2c182053b2ea8f582c6d78993eab278365c work --- diff --git a/Smake b/Smake index 597baea4f2..0278f244c7 100644 --- a/Smake +++ b/Smake @@ -62,6 +62,8 @@ GNULIB_MODULES = \ gettimeofday \ getopt-gnu \ gitlog-to-changelog \ + havelib \ + iconv \ include_next \ isfinite \ isinf \