diff options
author | Adin Scannell <ascannell@google.com> | 2021-02-25 10:54:14 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2021-02-25 10:58:51 -0800 |
commit | 56053f084f06e61e963b0007e7bf99e69a0f9144 (patch) | |
tree | 65ddd050b55ec5beaa921c933f95352081f1f566 | |
parent | 0462dfe9f8bfbe482912caeb2bd636ec005b2b9e (diff) |
Strip all non-numeric characters from version.
This will fix debian packaging.
Updates #5510
PiperOrigin-RevId: 359563378
-rw-r--r-- | tools/bazeldefs/BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/bazeldefs/BUILD b/tools/bazeldefs/BUILD index ebe90dfec..c2c1287a1 100644 --- a/tools/bazeldefs/BUILD +++ b/tools/bazeldefs/BUILD @@ -41,7 +41,7 @@ config_setting( genrule( name = "version", outs = ["version.txt"], - cmd = "cat bazel-out/stable-status.txt | grep STABLE_VERSION | cut -d' ' -f2- >$@", + cmd = "cat bazel-out/stable-status.txt | grep STABLE_VERSION | cut -d' ' -f2- | sed 's/^[^[:digit:]]*//g' >$@", stamp = True, visibility = ["//:sandbox"], ) |