Mark scripts executable (boot, and the ones the build system chmods)
[ghc-hetmet.git] / boot
diff --git a/boot b/boot
old mode 100644 (file)
new mode 100755 (executable)