diff --git a/dev-support/create-release/do-release-docker.sh b/dev-support/create-release/do-release-docker.sh index 37a5d710bc5..3012d3cb215 100755 --- a/dev-support/create-release/do-release-docker.sh +++ b/dev-support/create-release/do-release-docker.sh @@ -136,6 +136,7 @@ function cleanup { trap cleanup EXIT cat > "$ENVFILE" <