fix syntax error in configure shell script
strangly enough, it seems to work like it was in some circumstances...
This commit is contained in:
1 parent
3c3e14daed
commit
c1fc5c53c6
1 file changed
+1
-2
Vendored
+1
-2
@@ -171,8 +171,7 @@ for OPT in "$@"; do
|
||||
OPTARG=${OPT#--}
|
||||
# OPTARG now contains everything after double dashes
|
||||
case "${OPTARG}" in
|
||||
config-cache)
|
||||
cache-file=*)
|
||||
config-cache|cache-file=*)
|
||||
# prevent the previous CMake cache from being deleted. The
|
||||
# second option is only here for Dune/autotools compatibility
|
||||
config_cache="1"
|
||||
|
||||
Reference in new issue
Block a user