projects / services / jenkins-scripts.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7db227f) | patch
Use separate mic.conf file for each build 55/127355/2
authorhyokeun <hyokeun.jeon@samsung.com>
Thu, 27 Apr 2017 05:07:24 +0000 (14:07 +0900)
committerHyokeun Jeon <hyokeun.jeon@samsung.com>
Thu, 27 Apr 2017 05:13:13 +0000 (05:13 +0000)
commit5ff6eaedfbce94cdec546b2b01ead11db3413d64
treeb621420aee6768b3247a5c555c505074e8a347f8tree | snapshot
parent7db227f75d58e800403aa9e2c8483001f512f8e1commit | diff
Use separate mic.conf file for each build

By default, /var/tmp/mic/ will be used for mic tool.
If we run multiple mic on the same machine, this shared working directory lead to problem.
Fix: Use separate working directory controlled by configuration.
$ sudo mic cr auto -c { conf file } ...

Change-Id: I4bd7f1ed44e843134e7e7c517d285534c93839bf
job_imager.py diff | blob | history
Domain: SCM / CI Services;