X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;fp=Smake;h=5fa1a6c48c16b626ad732e4f19f0b8deb127b7b3;hb=b9044cf717c4c214148597a3dd1afef16020c878;hp=e31c3cb565bcfc16f30de3e991d4699ff7cb2aed;hpb=7870d7c1461cbbf1496913f999ed31c47c490512;p=pspp diff --git a/Smake b/Smake index e31c3cb565..5fa1a6c48c 100644 --- a/Smake +++ b/Smake @@ -79,6 +79,7 @@ GNULIB_MODULES = \ strtok_r \ sys_stat \ tempname \ + termios \ trunc \ unicase/u8-casecmp \ unicase/u8-casefold \