diff options
| author | Adin Scannell <ascannell@google.com> | 2019-04-01 16:17:40 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2019-04-01 16:18:43 -0700 |
| commit | 7543e9ec2043af7d071373aeec04b92a98051087 (patch) | |
| tree | f43044f892c853d5cf97fe5d12f6d6702a2a02f1 /tools/workspace_status.sh | |
| parent | 7cff746ef2bbe5351e5985bebc88efc9e0881c78 (diff) | |
Add release hook and version flag
PiperOrigin-RevId: 241421671
Change-Id: Ic0cebfe3efd458dc42c49f7f812c13318705199a
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 7d44dad37..a0e646e45 100755 --- a/tools/workspace_status.sh +++ b/tools/workspace_status.sh @@ -14,4 +14,4 @@ # See the License for the specific language governing permissions and # limitations under the License. -echo GIT_REVISION $(git describe --always --abbrev=40 --dirty) +echo VERSION $(git describe --always --tags --abbrev=12 --dirty) |