discover/grub2: Allow to separate the --id argument using a space char

[petitboot] / docker / builder-include

diff --git a/docker/builder-include b/docker/builder-include
index fe88e9006736583a235d6261c20a69078628b895..7f56dc25ae500754c54a7e0f44a186ed97a18e95 100644 (file)
--- a/docker/builder-include
+++ b/docker/builder-include
@@ -51,7 +51,7 @@ show_tag () {
        echo "${DOCKER_TAG}"
 }
 
-: ${VERSION:="4"}
+: ${VERSION:="5"}
 : ${ARCH_TAG:="$(arch_tag)"}
 : ${DOCKER_NAME:="pb-builder"}
 : ${DOCKER_TAG:="${DOCKER_NAME}:${VERSION}${ARCH_TAG}"}