configure

changeset 159
84a6e7a7b457
parent 158
4bde241c49b1
child 170
ad9edb497857
--- 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

mercurial