X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=1709a1920d41175b553bd8439b27b54878b26791;hb=60401d43dd6915c6eaa0fc6cf01fd361dcc323d1;hp=14c19db98d67fca10a3d39e3539ad4368ed0b600;hpb=af6fd5651bf8075a0d962ba6d339373179e0195b;p=pspp-builds.git

diff --git a/Smake b/Smake
index 14c19db9..1709a192 100644
--- a/Smake
+++ b/Smake
@@ -62,6 +62,7 @@ GNULIB_MODULES = \
 	vsnprintf \
 	xalloc \
 	xalloc-die \
+	xmalloca \
 	xsize \
 	xstrndup \
 	xvasprintf