else condition

parent 996ec6a5
......@@ -42,6 +42,8 @@ done
if [ -f /usr/bin/time ]
then
/usr/bin/time -f "Real time: %E" -o /dev/fd/2 "${main[@]}"
else
"${main[@]}"
fi
echo -n "Memory usage: " 1>&2
du -sh $wd 1>&2
......
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