diff --git a/compile.php b/compile.php old mode 100644 new mode 100755 index f2710d32..8c7e3643 --- a/compile.php +++ b/compile.php @@ -1,3 +1,4 @@ +#!/usr/bin/env php