fix configure should always delete the tmp dir

Sun, 16 Apr 2023 14:16:31 +0200

author
Olaf Wintermann <olaf.wintermann@gmail.com>
date
Sun, 16 Apr 2023 14:16:31 +0200
changeset 19
e05f3e8ec2cb
parent 17
f75f5b3bc14f
child 20
2d3fe2c44163

fix configure should always delete the tmp dir

test/configure file | annotate | diff | comparison | revisions
test/make/configure.vm file | annotate | diff | comparison | revisions
--- 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
 
--- 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
 

mercurial