diff --git a/run_all.sh b/run_all.sh old mode 100644 new mode 100755 diff --git a/scripts/check_gem5.sh b/scripts/check_gem5.sh old mode 100644 new mode 100755