X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;fp=Smake;h=5bde08bf22a48ba8dc3541f9044491eb21491d5a;hb=0f10c6de3635199aa8e9a0f6edf88c42c0590fb6;hp=5a312e616b2c6bb650c4a05e9a3baae68269a2cd;hpb=defc31367050b1f574cde53b76c1ab83853a47ed;p=pspp

diff --git a/Smake b/Smake
index 5a312e616b..5bde08bf22 100644
--- a/Smake
+++ b/Smake
@@ -370,7 +370,7 @@ prep_ph:
 		echo >&2 "libtoolize not found";		\
 		exit 1;						\
 	fi;							\
-	$$LIBTOOLIZE --force --automake
+	$$LIBTOOLIZE --force --automake --copy
 
 aclocal.m4:
 	aclocal -I m4 -I gl/m4