diff options
-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 38765f6..fecc960 100644 --- a/jenkinstool-real.conf +++ b/jenkinstool-real.conf @@ -1,4 +1,4 @@ [config] -log = /mnt/scratch/liw-scratch/jenkinstool.log +log = /big/scratch/jenkinstool.log jenkins-host = jenkins mirror = http://192.168.122.1/debian |