build-distro: remove pipe character from devel ISO filename

parent 11aacfc9
...@@ -99,7 +99,7 @@ makebuild() { ...@@ -99,7 +99,7 @@ makebuild() {
if [ "$TEMP_COMMIT" == true ]; then if [ "$TEMP_COMMIT" == true ]; then
DFILENAME+="-temp_commit" DFILENAME+="-temp_commit"
else else
DFILENAME+="-commithash|$(git rev-parse --short=7 HEAD)" DFILENAME+="-$(git rev-parse --short=7 HEAD)"
fi fi
fi fi
......
Markdown is supported
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