From 566d2db1a634c9ba7163e5947dde25d6b51bf6e9 Mon Sep 17 00:00:00 2001 From: Yatis Date: Mon, 26 Oct 2020 19:01:16 +0100 Subject: [PATCH] Fix minor bugs. --- configure | 7 ++++--- make/Makefile.default | 2 +- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/configure b/configure index b6aa48f..a37762e 100755 --- a/configure +++ b/configure @@ -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 diff --git a/make/Makefile.default b/make/Makefile.default index 0eeb66e..49d67dd 100644 --- a/make/Makefile.default +++ b/make/Makefile.default @@ -35,7 +35,7 @@ #--- MAJOR := 0 MINOR := 3 -PATCH := 2 +PATCH := 3 EXTRAVERSION :=