diff --git a/docs/BUILDME b/docs/BUILDME
old mode 100644
new mode 100755
index e7daeb8a1..1505dc167
--- a/docs/BUILDME
+++ b/docs/BUILDME
@@ -1,3 +1,4 @@
+#!/bin/bash
 # $Id$
 # quick build (for lazy programmers).  for more information on the
 # build process, see the README file.