pgtest: fix spacing
authorBruce Momjian <[email protected]>
Mon, 14 Aug 2023 18:03:29 +0000 (14:03 -0400)
committerBruce Momjian <[email protected]>
Mon, 14 Aug 2023 18:03:29 +0000 (14:03 -0400)
Back-through: master

src/tools/pgtest

index 5a6b110eb2454360708c4099085f41591d0e76de..080cf6ae761ef5b6ce4c7910594da8e27b11891f 100755 (executable)
@@ -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