Move get_workspace_status to .sh file

This commit is contained in:
Mike Splain 2018-01-24 11:31:34 -05:00
parent 622aa0fe9b
commit 06d25ef26f
2 changed files with 1 additions and 1 deletions

View File

@ -1 +1 @@
build --workspace_status_command=./tools/get_workspace_status
build --workspace_status_command=./tools/get_workspace_status.sh