Drop the no longer necessary chmod

See #517
snowleopard · Mar 5, 2018 · 764be7e · 764be7e
1 parent 7894c96
commit 764be7e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/build.sh b/build.sh
@@ -31,5 +31,4 @@ function rl {
 root="$(dirname "$(rl "$0")")"
 
 # By default on Linux/MacOS we build Hadrian using Cabal
-chmod a+x "$root/build.cabal.sh"
 (. "$root/build.cabal.sh" "$@")