1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-02 06:03:50 +00:00
freebsd-ports/math/btor2tools/files/patch-configure.sh

12 lines
302 B
Bash

--- configure.sh.orig 2019-06-14 05:32:21 UTC
+++ configure.sh
@@ -61,7 +61,7 @@ do
-gprof) gprof=yes;;
-f*|-m*) if [ $flags = none ]; then flags=$1; else flags="$flags $1"; fi;;
-h|-help|--help) usage;;
- -*) die "invalid option '$1' (try '-h')";;
+ -*) ;;
esac
shift
done