diff options
| author |   Gary Wu <gary.i.wu@huawei.com> | 2018-05-03 16:03:24 -0700 |
|---|---|---|
| committer | Gary Wu <gary.i.wu@huawei.com> | 2018-05-03 16:08:01 -0700 |
| commit | 7087ff627c74cea2ccf09ee0d9dc2b3447688069 (patch) | |
| tree | 5741d10704761d56c4547d2909ddf7fa74237ab5 /jenkins.ini.example | |
| parent | 08f0ae97d6894c77c09092c126b4870e31821ce5 (diff) | |
Change source console timestamp log file name
Change source console timestamp log file name to
avoid having it overwritten by the local Jenkins.
Change-Id: I16e4ab20064e013366884de9964f5eeb0b8ce82f
Issue-ID: INT-401
Signed-off-by: Gary Wu <gary.i.wu@huawei.com>
Diffstat (limited to 'jenkins.ini.example')
0 files changed, 0 insertions, 0 deletions