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

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