X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=7905c430fe28401c4e5f454a0e4c3218d3a8f283;hb=93fc7c42afe96222b3593a4a8c55a6c3683645eb;hp=3994a302b650b7d5c5f89a10db484b010adc1aa1;hpb=015e221b0f8578afee769528572c76387f26c629;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 \