test/configure

changeset 19
e05f3e8ec2cb
parent 16
4fac0e25ee04
child 20
2d3fe2c44163
--- 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
 

mercurial