Skip to content
Snippets Groups Projects
Verified Commit 9e3d80df authored by Mattia Rizzolo's avatar Mattia Rizzolo
Browse files

reproducible debian live: enable syncing of results

parent 43d61a2f
No related merge requests found
......@@ -24,10 +24,10 @@ set -o pipefail # see eg http://petereisentraut.blogspot.com/2010/11/pipefail.ht
publish_file() {
local DESCRIPTION=$1
local ORIGINAL_FILE=$2
local PUBLISHED_NAME=$(basename $3)
local PUBLISHED_NAME
PUBLISHED_NAME=$(basename "$3")
# Disabled for now...
#ssh jenkins@jenkins.debian.net ${DESCRIPTION} ${ORIGINAL_FILE} ${PUBLISHED_NAME}
ssh jenkins@jenkins.debian.net "${DESCRIPTION}" "${ORIGINAL_FILE}" "${PUBLISHED_NAME}"
}
cleanup() {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment