time_report.sh must go in stderr

parent 609a336c
......@@ -21,7 +21,7 @@ then
export LD_LIBRARY_PATH="$TINYGB_PATH/lib";
scripts/provide_wdir.sh build/tinygb WORKING_DIR $1
export LD_LIBRARY_PATH=$OLD_LD_PATH
$TINYGB_PATH/scripts/time_report.sh
$TINYGB_PATH/scripts/time_report.sh 1>&2
else
echo "Compilation failed."
fi
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment