Fix minor bugs.

This commit is contained in:
Yatis 2020-10-26 19:01:16 +01:00
parent 0a997affd5
commit 566d2db1a6
2 changed files with 5 additions and 4 deletions

7
configure vendored
View file

@ -91,8 +91,8 @@ EOF
#---
# Check early help options
#---
if [[ $# -lt 1 ]] || [[ "$1" = "-h" ]] || [[ "$1" = "--help" ]]; then
help
if [[ $# -eq 1 ]] || [[ "$1" = "-h" ]] || [[ "$1" = "--help" ]]; then
help
fi
@ -113,6 +113,7 @@ fi
# Parsing arguments
#---
for arg; do case "$arg" in
# Help options
--help | -h)
help;;
@ -197,7 +198,7 @@ fi
#---
dst='Makefile'
src="../make/$makefile"
if ! test $src; then
if ! [ -e $src ] ; then
echo "error: target makefile ($src) does not exist !" >&2
exit 1
fi

View file

@ -35,7 +35,7 @@
#---
MAJOR := 0
MINOR := 3
PATCH := 2
PATCH := 3
EXTRAVERSION :=