diff --git a/bin/compile b/bin/compile index e4c1c9eae..589db50d1 100755 --- a/bin/compile +++ b/bin/compile @@ -2,7 +2,7 @@