# HG changeset patch # User Olaf Wintermann # Date 1605384695 -3600 # Node ID 84a6e7a7b457b37aa529f491018047dea2d4ace1 # Parent 4bde241c49b16cea44f1a4831d47f3c8351d0665 fix configure target options diff -r 4bde241c49b1 -r 84a6e7a7b457 configure --- a/configure Sat Nov 14 20:58:20 2020 +0100 +++ b/configure Sat Nov 14 21:11:35 2020 +0100 @@ -80,7 +80,7 @@ "--infodir="*) INFODIR=${ARG#--infodir=} ;; "--mandir"*) MANDIR=${ARG#--mandir} ;; "--help"*) printhelp; exit 1 ;; - "--toolkit="*) OPT_TOOLKIT={ARG#toolkit=} ;; + "--toolkit="*) OPT_TOOLKIT=${ARG#--toolkit=} ;; "-"*) echo "unknown option: $ARG"; exit 1 ;; esac done diff -r 4bde241c49b1 -r 84a6e7a7b457 make/configure.vm --- a/make/configure.vm Sat Nov 14 20:58:20 2020 +0100 +++ b/make/configure.vm Sat Nov 14 21:11:35 2020 +0100 @@ -135,7 +135,7 @@ "--mandir"*) MANDIR=${D}{ARG#--mandir} ;; "--help"*) printhelp; exit 1 ;; #foreach( $opt in $options ) - "--${opt.getArgument()}="*) ${opt.getVarName()}={ARG#${opt.getArgument()}=} ;; + "--${opt.getArgument()}="*) ${opt.getVarName()}=${D}{ARG#--${opt.getArgument()}=} ;; #end #foreach( $feature in $features ) "--enable-${feature.arg}") ${feature.getVarName()}=on ;;