diff --git a/tools/workspace-status.cmd b/tools/workspace-status.cmd index 4a3b88e164..bc1560de0e 100644 --- a/tools/workspace-status.cmd +++ b/tools/workspace-status.cmd @@ -1,2 +1 @@ echo STABLE_BUILD_GERRIT_LABEL dev -echo STABLE_WORKSPACE_ROOT %cd%