diff options
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) |