diff --git a/script/run-in-env.py b/script/run-in-env.py old mode 100644 new mode 100755