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

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