X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=70385708ea9b5b25b379c27bec07dd232bcebc1c;hb=8b3c0b9af1e323e9e30bd9017f7ab70c1602b7c6;hp=a020ee86087cabf59342ae0da03ea76365608ba4;hpb=2f1b236d8beaeed7efad36c5b1ceb654d0e72170;p=pspp-builds.git

diff --git a/Smake b/Smake
index a020ee86..70385708 100644
--- a/Smake
+++ b/Smake
@@ -30,7 +30,6 @@ GNULIB_MODULES = \
 	memset \
 	progname \
 	readlink \
-	restrict \
 	snprintf \
 	stat-macros \
 	stdarg \