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