1 files changed, 1 insertions, 1 deletions
diff --git a/jenkinstool b/jenkinstool
index 095c817..9045794 100755
--- a/jenkinstool
+++ b/jenkinstool
@@ -542,7 +542,7 @@ fi
 binopt=-B
 '''
 
-        jc.add_ssh_command(prelude + script + '''
+        jc.add_ssh_command(script + '''
 curdir="$(pwd)"
 temp="$(mktemp -d)"
 cd "$temp"