diff --git a/tools/make-bots b/tools/make-bots
old mode 100644
new mode 100755