Fix build script not working with non-bash

This commit is contained in:
UnknownShadow200 2021-05-30 19:52:01 +10:00
parent 4f660e4eb7
commit d3a811cd1e

View File

@ -171,7 +171,7 @@ git fetch --all
git reset --hard origin/master git reset --hard origin/master
LATEST=$(git rev-parse --short HEAD) LATEST=$(git rev-parse --short HEAD)
function run_timed() { run_timed() {
beg=`date +%s` beg=`date +%s`
$1 $1
end=`date +%s` end=`date +%s`