X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=542b453aa4a31b5e074e5c79f4c4a3a965870afd;hb=e6645d1e3d026dfdcadd1e63a6d6445823c92fa2;hp=69836f9599a09e14ae4b8645cf05f381cfd26f4e;hpb=a90f29f5c4c88d1e56373b160e103bfa9f8ce387;p=pspp

diff --git a/configure.ac b/configure.ac
index 69836f9599..542b453aa4 100644
--- a/configure.ac
+++ b/configure.ac
@@ -149,7 +149,7 @@ if test x"$enable_debug" = x"yes"  ; then
 fi
 
 AC_CONFIG_FILES([Makefile po/Makefile.in m4/Makefile 
-		 lib/Makefile lib/misc/Makefile 
+		 lib/Makefile lib/misc/Makefile lib/gsl-extras/Makefile
 		 doc/Makefile 
 		 src/Makefile src/expressions/Makefile
 		 config/Makefile