diff options
| -rwxr-xr-x | src/tools/pgtest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgtest b/src/tools/pgtest index 5a6b110eb24..080cf6ae761 100755 --- a/src/tools/pgtest +++ b/src/tools/pgtest @@ -37,7 +37,7 @@ rm -f tmp_install/log/install.log then $MAKE "$@" 2>&1 && $MAKE "$@" check 2>&1 echo "$?" > "$TMP"/ret fi -) | tee "$TMP"/0 +) | tee "$TMP"/0 # Grab possible warnings from install.log [ -e tmp_install/log/install.log ] && cat tmp_install/log/install.log >> "$TMP"/0 |