Browse Source

fix compile timer bug

master
poikilos 6 years ago
committed by Jacob Gustafson
parent
commit
db3f09b685
  1. 2
      webapp/reset-minetest.sh

2
webapp/reset-minetest.sh

@ -38,7 +38,7 @@ unzip -u $zip_name || customDie "Can't unzip $zip_name"
cd "$extracted_name" cd "$extracted_name"
echo "compiling libraries..." echo "compiling libraries..."
date date
end=`start +%s` start=`date +%s`
bash -e mtcompile-libraries.sh build >& libraries.log bash -e mtcompile-libraries.sh build >& libraries.log
end=`date +%s` end=`date +%s`
compile_time=$((end-start)) compile_time=$((end-start))

Loading…
Cancel
Save