X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=7aac5a86c1e6312afd76c5e0781860379b1a737d;hb=b0ce74cb9ee2ac59e87bddb46122b63ae0b6cdf0;hp=a020ee86087cabf59342ae0da03ea76365608ba4;hpb=f89de8c330e8f82f0e7195c4d35588cfcbdd02fc;p=pspp

diff --git a/Smake b/Smake
index a020ee8608..7aac5a86c1 100644
--- a/Smake
+++ b/Smake
@@ -27,10 +27,10 @@ GNULIB_MODULES = \
 	memcmp \
 	memmem \
 	memmove \
+	mempcpy \
 	memset \
 	progname \
 	readlink \
-	restrict \
 	snprintf \
 	stat-macros \
 	stdarg \