diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 1d6ff377..d6dc82fc 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -71,13 +71,13 @@ if [ "x$publish" = "x--publish" ]; then $TOPDIR/contrib/prepare_upload.sh cat > "/build/known_hosts" <