diff options
| author | Lars Wirzenius <liw@liw.fi> | 2014-07-19 20:02:33 +0100 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2014-07-19 20:02:33 +0100 |
| commit | 32c71772fd910dead159e40670aeb0b534cd05cf (patch) | |
| tree | 8575d78c0d1b0c92004448959f3929639ad31ea4 /jenkinstool-real.conf | |
| parent | 549ee17be6f3398d1e53d15e35c989cdf7abcee6 (diff) | |
| download | jenkinstool-32c71772fd910dead159e40670aeb0b534cd05cf.tar.gz | |
Changes
Diffstat (limited to 'jenkinstool-real.conf')
| -rw-r--r-- | jenkinstool-real.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkinstool-real.conf b/jenkinstool-real.conf index d0d5817..b55021e 100644 --- a/jenkinstool-real.conf +++ b/jenkinstool-real.conf @@ -1,3 +1,3 @@ [config] -log = /home/liw/UNBACKED/jenkinstool.log +log = /mnt/scratch/liw-scratch/jenkinstool.log jenkins-host = jenkins |