Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
If batch script is already executable, don't chmod it
Linux won't let you chmod files you don't own, so the old impl can cause permissions problems when sharing cases.
- Loading branch information