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