X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=f82f4f444273bc0a79142acb2c551d029d7e03ca;hb=eee67f3c01c70aa902b82dddc5139eeaa094ad88;hp=1fd4ac3d1434a03552186771269fe4abd8705597;hpb=d97b45134c672a8daf9cede78bd844484dcdaaeb;p=pspp

diff --git a/Smake b/Smake
index 1fd4ac3d14..f82f4f4442 100644
--- a/Smake
+++ b/Smake
@@ -12,6 +12,7 @@ GNULIB_MODULES = \
 	c-strcasestr \
 	c-ctype \
 	c-strtod \
+	c-xvasprintf \
 	clean-temp \
 	close \
 	configmake \