--- a/test/configure2 Sun Dec 15 14:35:58 2024 +0100 +++ b/test/configure2 Sun Dec 15 14:45:53 2024 +0100 @@ -181,10 +181,11 @@ "--infodir="*) infodir=${ARG#--infodir=} ;; "--mandir"*) mandir=${ARG#--mandir} ;; "--localedir"*) localedir=${ARG#--localedir} ;; - "--help"*) printhelp; abort_configure ;; - "--debug") BUILD_TYPE="debug" ;; - "--release") BUILD_TYPE="release" ;; + "--help"*) printhelp; abort_configure ;; + "--debug") BUILD_TYPE="debug" ;; + "--release") BUILD_TYPE="release" ;; "--toolkit="*) OPT_TOOLKIT=${ARG#--toolkit=} ;; + "--toolkit") echo "option '$ARG' needs a value:"; echo " $ARG=(gtk3|cli|gtk2|wpf)"; abort_configure ;; "--enable-db") FEATURE_DB=on ;; "--disable-db") unset FEATURE_DB ;; "--enable-gui") FEATURE_GUI=on ;;