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