X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=3ca1187520fc4baebe45af5b51a37d1141a32618;hb=1cc9ec74f2a7507d3230e366e027f03846095f59;hp=5362c276d723d4c1e41edda08b32fa308d8d0835;hpb=c635f1b8d20a122685889de5c071a6ff71fb46b2;p=pspp-builds.git

diff --git a/Smake b/Smake
index 5362c276..3ca11875 100644
--- a/Smake
+++ b/Smake
@@ -97,7 +97,7 @@ all:
 	$(GNULIB_TOOL) --import --no-changelog --m4-base=gl/m4 \
 		--source-base=gl --lib=libgl --tests-base=tests \
 		--doc-base=gl/doc --aux-dir=build-aux --import \
-		$(GNULIB_MODULES)
+		--libtool $(GNULIB_MODULES)
 	libtoolize --force --automake
 	aclocal -I m4 -I gl/m4
 	autoconf