diff --git a/compilation.sh b/compilation.sh
old mode 100644
new mode 100755