X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=Smake;h=1277749b167fdb4679674c6b940ec67a1780e091;hb=f00b4996578aa4c55fa347417fb7f37db138374f;hp=4c79f855336822ab8d447397b059390af6e1178e;hpb=5dd321948888d65bdcd7012ffe20df0a91936329;p=pspp

diff --git a/Smake b/Smake
index 4c79f85533..1277749b16 100644
--- a/Smake
+++ b/Smake
@@ -30,6 +30,7 @@ GNULIB_MODULES = \
 	snprintf \
 	stat-macros \
 	stdbool \
+	stdint \
 	stpcpy \
 	strcase \
 	strcspn \