X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=1709a1920d41175b553bd8439b27b54878b26791;hb=afbd9bcace01167e6e2d00031e523aa80e68a4fb;hp=902591c685f6a752303c2dd6fe86382c3bab3229;hpb=92c09e564002d356d20fc1e2e131027ef89f6748;p=pspp-builds.git

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