Update dependency: deps/k_release (#2519)

rv-jenkins · ttuegel · web-flow · commit 47bfdc78e601 · 2021-03-31T15:49:29.000-06:00
* deps/k_release: v5.0.0-414a1ed * deps/k_release: v5.0.0 * Jenkinsfile: Calculate K_VERSION correctly * Revert "Jenkinsfile: Calculate K_VERSION correctly" This reverts commit e24e830. * Jenkinsfile: Calculate K_COMMIT correctly Co-authored-by: Thomas Tuegel <thomas.tuegel@runtimeverification.com>
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -2,7 +2,7 @@ pipeline {
   agent {
     dockerfile {
       label 'docker'
-      additionalBuildArgs '--build-arg K_COMMIT=$(cat deps/k_release | cut --delimiter="-" --field="2") --build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g)'
+      additionalBuildArgs '--build-arg K_COMMIT=$(cat deps/k_release | cut --characters=2-) --build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g)'
     }
   }
   options {
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-v5.0.0-a953462
+v5.0.0

Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@ pipeline {`
`2`	`2`	`agent {`
`3`	`3`	`dockerfile {`
`4`	`4`	`label 'docker'`
`5`		`- additionalBuildArgs '--build-arg K_COMMIT=$(cat deps/k_release \| cut --delimiter="-" --field="2") --build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g)'`
	`5`	`+ additionalBuildArgs '--build-arg K_COMMIT=$(cat deps/k_release \| cut --characters=2-) --build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g)'`
`6`	`6`	`}`
`7`	`7`	`}`
`8`	`8`	`options {`