remoteexec/run.sh - infra/goma/server - Git at Google

 #!/bin/bash
 set -e
 if [[ "$WORK_DIR" != "" ]]; then
   cd "${WORK_DIR}"
 fi
 exec "$@"
	#!/bin/bash
	set -e
	if [[ "$WORK_DIR" != "" ]]; then
	cd "${WORK_DIR}"
	fi
	exec "$@"