diff options
Diffstat (limited to 'math/apron/files/patch-configure')
-rw-r--r-- | math/apron/files/patch-configure | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/math/apron/files/patch-configure b/math/apron/files/patch-configure new file mode 100644 index 000000000000..5e2c70e89021 --- /dev/null +++ b/math/apron/files/patch-configure @@ -0,0 +1,14 @@ +According to the POSIX conventions each option name +should be a single alphanumeric character. + +--- configure.orig 2024-04-20 02:07:27 UTC ++++ configure +@@ -71,7 +71,7 @@ has_debug=0 + force_absolute_dylib_install_names=0; + ext_dll=so + has_debug=0 +-do_strip=--strip ++do_strip=-s + while : ; do + case "$1" in + "") |