diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 202339cb..b85e4b38 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -58,12 +58,12 @@ if [ "x$publish" = "x--publish" ]; then echo echo "=============== UPLOAD BUILD ==============" - cat > "$WORKSPACE/known_hosts" < "/build/known_hosts" <