diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 2471deb..e9296c6 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -34,17 +34,17 @@ if [ "x$publish" = "x--publish" ]; then echo "=============== UPLOAD BUILD ==============" cat > "/build/known_hosts" <