# HG changeset patch # User Mike Becker # Date 1734270965 -3600 # Node ID b38ea78d842cbade098bf6329e27d52e1b542bba # Parent 22f7262475e7d910ffb865c201f7911555e60c1b add detection for invalid option values - fixes #518 diff -r 22f7262475e7 -r b38ea78d842c src/main/resources/make/configure.vm --- a/src/main/resources/make/configure.vm Sun Dec 15 14:50:19 2024 +0100 +++ b/src/main/resources/make/configure.vm Sun Dec 15 14:56:05 2024 +0100 @@ -646,6 +646,11 @@ DEPENDENCIES_FAILED="option '${opt.argument}' $DEPENDENCIES_FAILED" fi #end + else + echo + echo "Invalid option value - usage:" + echo " --${opt.argument}=${opt.valuesString}" + abort_configure fi fi #end diff -r 22f7262475e7 -r b38ea78d842c test/configure2 --- a/test/configure2 Sun Dec 15 14:50:19 2024 +0100 +++ b/test/configure2 Sun Dec 15 14:56:05 2024 +0100 @@ -754,6 +754,11 @@ ERROR=1 DEPENDENCIES_FAILED="option 'toolkit' $DEPENDENCIES_FAILED" fi + else + echo + echo "Invalid option value - usage:" + echo " --toolkit=(gtk3|cli|gtk2|wpf)" + abort_configure fi fi diff -r 22f7262475e7 -r b38ea78d842c test/make/configure.vm --- a/test/make/configure.vm Sun Dec 15 14:50:19 2024 +0100 +++ b/test/make/configure.vm Sun Dec 15 14:56:05 2024 +0100 @@ -646,6 +646,11 @@ DEPENDENCIES_FAILED="option '${opt.argument}' $DEPENDENCIES_FAILED" fi #end + else + echo + echo "Invalid option value - usage:" + echo " --${opt.argument}=${opt.valuesString}" + abort_configure fi fi #end