X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=Smake;h=1eac214892e7425b58a7684b6d623c217d5d2049;hb=1e84687727b7fdad133fd7d2b9b20737fb13e167;hp=686212e401b29abdcc42c5f17a97ae2e0b29e8f9;hpb=cbf39004f714c8fe8cb395a8ea7fc04814e72d67;p=pspp

diff --git a/Smake b/Smake
index 686212e401..1eac214892 100644
--- a/Smake
+++ b/Smake
@@ -10,6 +10,7 @@ GNULIB_MODULES = \
 	assert \
 	c-ctype \
 	c-strtod \
+	exit \
 	full-read \
 	full-write \
 	gethostname \