X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=7905c430fe28401c4e5f454a0e4c3218d3a8f283;hb=04bc6ee1d86faf2b0d42590dd31e8a984f7f0418;hp=3994a302b650b7d5c5f89a10db484b010adc1aa1;hpb=eebfb13c43a0623eec8b83824a0802cdc60e533e;p=pspp

diff --git a/Smake b/Smake
index 3994a302b6..7905c430fe 100644
--- a/Smake
+++ b/Smake
@@ -5,6 +5,7 @@ GNULIB = ../gnulib
 GNULIB_TOOL = $(GNULIB)/gnulib-tool
 
 GNULIB_MODULES = \
+	argp \
 	assert \
 	byteswap \
 	c-ctype \