summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorAdin Scannell <ascannell@google.com>2021-02-25 10:54:14 -0800
committergVisor bot <gvisor-bot@google.com>2021-02-25 10:58:51 -0800
commit56053f084f06e61e963b0007e7bf99e69a0f9144 (patch)
tree65ddd050b55ec5beaa921c933f95352081f1f566
parent0462dfe9f8bfbe482912caeb2bd636ec005b2b9e (diff)
Strip all non-numeric characters from version.
This will fix debian packaging. Updates #5510 PiperOrigin-RevId: 359563378
-rw-r--r--tools/bazeldefs/BUILD2
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"],
)