diff lib/gmp/gmp.sh @ 639:9de04ddc6f6d

vanilla: be more POSIX
author David Demelier <markand@malikania.fr>
date Thu, 25 Jul 2019 20:38:04 +0200
parents 25cecc6dca48
children ed3791383f29
line wrap: on
line diff
--- a/lib/gmp/gmp.sh	Sun Jul 21 20:09:09 2019 +0200
+++ b/lib/gmp/gmp.sh	Thu Jul 25 20:38:04 2019 +0200
@@ -49,7 +49,7 @@
 		--disable-static
 	make
 	make install DESTDIR=$DESTDIR
-	rm -f $DESTDIR/lib/libgmp{,xx}.la
+	rm -f $DESTDIR/lib/libgmp*.la
 
 	cd ..
 	rm -rf $PKGNAME-$PKGVERSION