configure: fix --collectsdir and --appsdir handling

Thanks to @tgbugs for the report an initial repair.

Closes #3692
This commit is contained in:
Matthew Flatt 2021-02-19 09:21:01 -07:00
parent eaeb49d0d1
commit 19c3ee456b
4 changed files with 6 additions and 5 deletions

View File

@ -50,6 +50,7 @@ exit 0
runstatedir runstatedir
infodir infodir
htmldir htmldir
;; Note: any arguments converted this way need to be excluded in "rktio_keep.m4"
;; dvidir - converted to "collectsdir" ;; dvidir - converted to "collectsdir"
;; pdfdir - converted to "appsdir" ;; pdfdir - converted to "appsdir"
psdir psdir

View File

@ -7,7 +7,7 @@ for fixup_arg
do do
case $fixup_arg in case $fixup_arg in
# Strip away all feature choices # Strip away all feature choices
-enable* | --enable* | -disable* | --disable*) -enable* | --enable* | -disable* | --disable* | -collects* | --collects* | -apps* | --apps*)
;; ;;
*) *)
case $fixup_arg in case $fixup_arg in

View File

@ -7283,7 +7283,7 @@ for fixup_arg
do do
case $fixup_arg in case $fixup_arg in
# Strip away all feature choices # Strip away all feature choices
-enable* | --enable* | -disable* | --disable*) -enable* | --enable* | -disable* | --disable* | -collects* | --collects* | -apps* | --apps*)
;; ;;
*) *)
case $fixup_arg in case $fixup_arg in

View File

@ -5643,7 +5643,7 @@ for fixup_arg
do do
case $fixup_arg in case $fixup_arg in
# Strip away all feature choices # Strip away all feature choices
-enable* | --enable* | -disable* | --disable*) -enable* | --enable* | -disable* | --disable* | -collects* | --collects* | -apps* | --apps*)
;; ;;
*) *)
case $fixup_arg in case $fixup_arg in