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