Strip all non-numeric characters from version.

This will fix debian packaging.

Updates #5510

PiperOrigin-RevId: 359563378
This commit is contained in:
Adin Scannell 2021-02-25 10:54:14 -08:00 committed by gVisor bot
parent 0462dfe9f8
commit 56053f084f
1 changed files with 1 additions and 1 deletions

View File

@ -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"],
)