changeset
merge
Sun, 16 Apr 2023 14:17:08 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sun, 16 Apr 2023 14:17:08 +0200
- changeset 20
- 2d3fe2c44163
- parent 19
- e05f3e8ec2cb (diff)
- parent 18
- 0df7309d498e (current diff)
- child 21
- 34ebff7ddd43
merge
| test/configure | file | annotate | diff | comparison | revisions |
--- a/test/configure Thu Feb 23 13:11:26 2023 +0100 +++ b/test/configure Sun Apr 16 14:17:08 2023 +0200 @@ -81,10 +81,10 @@ "--includedir="*) INCLUDEDIR=${ARG#--includedir=} ;; "--infodir="*) INFODIR=${ARG#--infodir=} ;; "--mandir"*) MANDIR=${ARG#--mandir} ;; - "--help"*) printhelp; exit 1 ;; + "--help"*) printhelp; rm -Rf $TEMP_DIR; exit 1 ;; "--enable-pg") FEATURE_PG=on ;; "--disable-pg") unset FEATURE_PG ;; - "-"*) echo "unknown option: $ARG"; exit 1 ;; + "-"*) echo "unknown option: $ARG"; rm -Rf $TEMP_DIR; exit 1 ;; esac done
--- a/test/make/configure.vm Thu Feb 23 13:11:26 2023 +0100 +++ b/test/make/configure.vm Sun Apr 16 14:17:08 2023 +0200 @@ -133,7 +133,7 @@ "--includedir="*) INCLUDEDIR=${D}{ARG#--includedir=} ;; "--infodir="*) INFODIR=${D}{ARG#--infodir=} ;; "--mandir"*) MANDIR=${D}{ARG#--mandir} ;; - "--help"*) printhelp; exit 1 ;; + "--help"*) printhelp; rm -Rf $TEMP_DIR; exit 1 ;; #foreach( $opt in $options ) "--${opt.getArgument()}="*) ${opt.getVarName()}=${D}{ARG#--${opt.getArgument()}=} ;; #end @@ -141,7 +141,7 @@ "--enable-${feature.arg}") ${feature.getVarName()}=on ;; "--disable-${feature.arg}") unset ${feature.getVarName()} ;; #end - "-"*) echo "unknown option: $ARG"; exit 1 ;; + "-"*) echo "unknown option: $ARG"; rm -Rf $TEMP_DIR; exit 1 ;; esac done
