diff options
| author | Bruce Momjian <bruce@momjian.us> | 2018-07-28 15:34:06 -0400 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2018-07-28 15:34:06 -0400 |
| commit | 9a513f8f9e87462ec63a9f08bcd2d4a7e1f6fa4d (patch) | |
| tree | d1aaa262cfdb95ab5885b17fb6b05e0bd82855ce /src | |
| parent | 113224848aa010ce03431c76198bfdac871e8a0e (diff) | |
| download | postgresql-9a513f8f9e87462ec63a9f08bcd2d4a7e1f6fa4d.tar.gz postgresql-9a513f8f9e87462ec63a9f08bcd2d4a7e1f6fa4d.zip | |
pgtest: run clean, build, and check stages separately
This allows for cleaner error reporting.
Backpatch-through: 9.5
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/pgtest | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/src/tools/pgtest b/src/tools/pgtest index b16a798470b..70f6a62ad02 100755 --- a/src/tools/pgtest +++ b/src/tools/pgtest @@ -19,15 +19,25 @@ mkdir /tmp/$$ TMP="/tmp/$$" if [ "X$1" != "X-n" ] -then PGCLEAN=clean -else shift +then CLEAN="Y" +else CLEAN="" + shift fi rm -f tmp_install/log/install.log # 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 +( + if [ "$CLEAN" ] + then $MAKE "$@" clean 2>&1 + echo "$?" > $TMP/ret + fi + if [ $(cat $TMP/ret) -eq 0 ] + then $MAKE "$@" 2>&1 && $MAKE "$@" check 2>&1 + echo "$?" > $TMP/ret + fi +) | tee $TMP/0 # Grab possible warnings from install.log [ -e tmp_install/log/install.log ] && cat tmp_install/log/install.log >> $TMP/0 |