diff options
| author | Bruce Momjian | 2013-08-05 23:59:52 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2013-08-05 23:59:52 +0000 |
| commit | f347f26807862522309a2b15e332518df3e5e6f0 (patch) | |
| tree | 8a3666cae8104c3fee468a168527116345e16ee1 | |
| parent | 3ced8837db2cd602422bb36102cec73289691d40 (diff) | |
pgtest: allow passing parameters, e.g. -s/--silent
Previously only -n was recognized.
| -rwxr-xr-x | src/tools/pgtest | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/tools/pgtest b/src/tools/pgtest index cca7f03b08..79954940d2 100755 --- a/src/tools/pgtest +++ b/src/tools/pgtest @@ -1,6 +1,6 @@ #!/bin/sh -# src/tools/pgtest +# src/tools/pgtest [-n] [...] # This runs a build/initdb/regression test suite # @@ -18,11 +18,14 @@ trap "rm -rf /tmp/$$" 0 1 2 3 15 mkdir /tmp/$$ TMP="/tmp/$$" -[ "X$1" != "X-n" ] && PGCLEAN=clean +if [ "X$1" != "X-n" ] +then PGCLEAN=clean +else shift +fi # Run "make check" and store return code in $TMP/ret. # Display output but also capture it in $TMP/0. -($MAKE $PGCLEAN check 2>&1; echo "$?" > $TMP/ret) | tee $TMP/0 +($MAKE "$@" $PGCLEAN check 2>&1; echo "$?" > $TMP/ret) | tee $TMP/0 # If success, display warnings if [ $(cat $TMP/ret) -eq 0 ] |