From d3a811cd1ea4568763adbced2d0cd5a065fe01d2 Mon Sep 17 00:00:00 2001
From: UnknownShadow200 <unknownshadow200@gmail.com>
Date: Sun, 30 May 2021 19:52:01 +1000
Subject: [PATCH] Fix build script not working with non-bash

---
 misc/buildbot.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/misc/buildbot.sh b/misc/buildbot.sh
index 6b716ce5e..4d4753129 100644
--- a/misc/buildbot.sh
+++ b/misc/buildbot.sh
@@ -171,7 +171,7 @@ git fetch --all
 git reset --hard origin/master
 LATEST=$(git rev-parse --short HEAD)
 
-function run_timed() {
+run_timed() {
   beg=`date +%s`
   $1
   end=`date +%s`