Commit 6c5f7510 authored by Simon Brass's avatar Simon Brass
Browse files

fixup! [OCaml] add prefix

parent d3c0e990
......@@ -36,7 +36,7 @@ node('master') {
try {
stage 'Checkout'
checkout scm
sh 'git rev-parse --short HEAD | GIT_HEAD'
sh 'git rev-parse --short HEAD > GIT_HEAD'
commit = readFile('GIT_HEAD')
prefix = "${prefix}${commit}"
echo "${prefix}"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment