From 0a24d6d7df90b72e92884d6d2d16670a52905d79 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Thu, 30 Aug 2012 21:32:50 +0100
Subject: Remove spurious copy of prelude

---
 jenkinstool | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'jenkinstool')

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"
-- 
cgit v1.2.1