diff options
author | Adin Scannell <ascannell@google.com> | 2020-01-27 10:04:07 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-01-27 12:21:00 -0800 |
commit | d29e59af9fbd420e34378bcbf7ae543134070217 (patch) | |
tree | aff60c95c843048d194a8317d200f2f2c2d210df /tools/workspace_status.sh | |
parent | 6b43cf791a74a746443f70f98d859c1246f87e2a (diff) |
Standardize on tools directory.
PiperOrigin-RevId: 291745021
Diffstat (limited to 'tools/workspace_status.sh')
-rwxr-xr-x | tools/workspace_status.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/workspace_status.sh b/tools/workspace_status.sh index fb09ff331..a22c8c9f2 100755 --- a/tools/workspace_status.sh +++ b/tools/workspace_status.sh @@ -15,4 +15,4 @@ # limitations under the License. # The STABLE_ prefix will trigger a re-link if it changes. -echo STABLE_VERSION $(git describe --always --tags --abbrev=12 --dirty) +echo STABLE_VERSION $(git describe --always --tags --abbrev=12 --dirty || echo 0.0.0) |