[patch] pari-2.3.2-strip.patch

194456-pari-2.3.2-strip.patch (text/plain), 293 bytes, created by Jeroen Roovers (RETIRED) on 2007-10-01 22:37:15 UTC

--- config/Makefile.SH.	2007-10-01 23:45:45.000000000 +0200
+++ config/Makefile.SH	2007-10-01 23:55:10.000000000 +0200
@@ -208,7 +208,7 @@
 MV = mv -f
 LN = $ln_s
 CP_F = cp -f
-STRIP      = strip
+STRIP      = true
 STRIPFLAGS =
 
 # Change these installation directories to suit your needs.