diff --git a/Jenkinsfile b/Jenkinsfile index 6d34346..dbbfe05 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -25,7 +25,7 @@ pipeline{ set -e cd $WORKSPACE tree antos-release - docker run --rm --privileged docker/binfmt:a7996909642ee92942dcd6cff44b9b95f08dad64 + # docker run --rm --privileged docker/binfmt:a7996909642ee92942dcd6cff44b9b95f08dad64 for dir in antos-release/build/* ; do tag=$(basename $dir) echo "BUILD TAG $tag"