diff lib/gmp/gmp.sh @ 549:bad483aace64

vanilla: use prefix= instead
author David Demelier <markand@malikania.fr>
date Sun, 23 Jun 2019 15:13:10 +0200
parents eec0faf3636c
children 25cecc6dca48
line wrap: on
line diff
--- a/lib/gmp/gmp.sh	Tue Apr 16 20:01:00 2019 +0200
+++ b/lib/gmp/gmp.sh	Sun Jun 23 15:13:10 2019 +0200
@@ -42,7 +42,7 @@
 	./configure \
 		--build=$CBUILD \
 		--host=$CHOST \
-		--prefix=/ \
+		--prefix= \
 		--enable-cxx \
 		--enable-fat \
 		--enable-shared \