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`