diff options
| author | Lars Wirzenius <liw@liw.fi> | 2012-08-30 21:32:50 +0100 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2012-08-30 21:32:50 +0100 |
| commit | 0a24d6d7df90b72e92884d6d2d16670a52905d79 (patch) | |
| tree | 7ee3a3878e9d677e4663b683b728b3974dfe0906 /jenkinstool | |
| parent | ca5f23026704ef259fd5423154b17d5a85127867 (diff) | |
| download | jenkinstool-0a24d6d7df90b72e92884d6d2d16670a52905d79.tar.gz | |
Remove spurious copy of prelude
Diffstat (limited to 'jenkinstool')
| -rwxr-xr-x | jenkinstool | 2 |
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" |