# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1681647428 -7200
# Node ID 2d3fe2c44163856c7d5b8cc56982de3b6603beae
# Parent  e05f3e8ec2cb86f4dfca16687de5c5aa5ab032c5# Parent  0df7309d498ede8b0dd11080eb226681e070343f
merge

diff -r 0df7309d498e -r 2d3fe2c44163 test/configure
--- 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
 
diff -r 0df7309d498e -r 2d3fe2c44163 test/make/configure.vm
--- 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