# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1681647391 -7200
# Node ID e05f3e8ec2cb86f4dfca16687de5c5aa5ab032c5
# Parent  f75f5b3bc14fc700141fc6d903beab5d52e8ee65
fix configure should always delete the tmp dir

diff -r f75f5b3bc14f -r e05f3e8ec2cb test/configure
--- a/test/configure	Sat Nov 14 21:12:53 2020 +0100
+++ b/test/configure	Sun Apr 16 14:16:31 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 f75f5b3bc14f -r e05f3e8ec2cb test/make/configure.vm
--- a/test/make/configure.vm	Sat Nov 14 21:12:53 2020 +0100
+++ b/test/make/configure.vm	Sun Apr 16 14:16:31 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