mirror of
https://git.planet-casio.com/Lephenixnoir/gint.git
synced 2025-01-01 06:23:35 +01:00
configure: fix integer regex and exit logic
This commit is contained in:
parent
defb5ba779
commit
b0ede1d15d
1 changed files with 2 additions and 1 deletions
3
configure
vendored
3
configure
vendored
|
@ -124,7 +124,7 @@ for arg; do case "$arg" in
|
||||||
|
|
||||||
--atexit-max=*)
|
--atexit-max=*)
|
||||||
n=${arg#*=}
|
n=${arg#*=}
|
||||||
if [[ $n == +([0-9]) ]]; then
|
if [[ $n =~ ([0-9])+ ]]; then
|
||||||
atexit_max=$n
|
atexit_max=$n
|
||||||
else
|
else
|
||||||
echo -e "error: -atexit-max expects an integer value"
|
echo -e "error: -atexit-max expects an integer value"
|
||||||
|
@ -175,6 +175,7 @@ if [[ -z "$prefix" ]]; then
|
||||||
|
|
||||||
if [[ ! -d $inst ]]; then
|
if [[ ! -d $inst ]]; then
|
||||||
echo "Directory does not exist (or is not a directory), giving up."
|
echo "Directory does not exist (or is not a directory), giving up."
|
||||||
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
echo ""
|
echo ""
|
||||||
|
|
Loading…
Reference in a new issue