diff --git a/Tools/scripts/build_autotest.sh b/Tools/scripts/build_autotest.sh index 4bd6bb5e32..3d599bfab7 100755 --- a/Tools/scripts/build_autotest.sh +++ b/Tools/scripts/build_autotest.sh @@ -56,7 +56,7 @@ report() { d="$1" old="$2" new="$3" - cat <