X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=83c583a3241731c2d587ffd4a2a4aea51e35da31;hb=91629b1685cfb3c0606158257695a6ff6385242f;hp=6ab0bd4b386814139a83a7e99afff77a5cb537b3;hpb=c0f3fdc3a77295731aae589a0e3d9f5c60bf35ad;p=pspp-builds.git

diff --git a/Smake b/Smake
index 6ab0bd4b..83c583a3 100644
--- a/Smake
+++ b/Smake
@@ -34,6 +34,7 @@ GNULIB_MODULES = \
 	gettimeofday \
         getopt-gnu \
 	gitlog-to-changelog \
+	include_next \
 	isfinite \
 	isinf \
 	isnan \