diff --git a/libstdc++-v3/mkcheck.in b/libstdc++-v3/mkcheck.in index ee9cb1cf28c..b6a36ee4d2a 100755 --- a/libstdc++-v3/mkcheck.in +++ b/libstdc++-v3/mkcheck.in @@ -358,6 +358,7 @@ mv ${RESULTS_FILE}.tmp $RESULTS_FILE if [ $TEST_TIME_START -lt $TEST_TIME_END ]; then TEST_TIME=$[ $TEST_TIME_END - $TEST_TIME_START ] echo "testrun == $TEST_TIME" + echo "testrun == $TEST_TIME" >> $RESULTS_FILE fi exit 0