projects / tools / build.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1363815) | patch
$BUILD_ROOT/dev/pts could be mounted more times on Ubuntu 16.10, so it need umount...
authory0169.zhang <y0169.zhang@samsung.com>
Sat, 29 Oct 2016 07:54:40 +0000 (16:54 +0900)
committerSoonKyu Park <sk7.park@samsung.com>
Tue, 27 Dec 2016 09:03:07 +0000 (18:03 +0900)
commite4d357f47826b3b53dc41d5152a010805e558a73
treeaddc21595cdcdd2d574ea625635eac1efe8605d7tree | snapshot
parent13638150e5f2abd076d0806d48645757c54d22afcommit | diff
$BUILD_ROOT/dev/pts could be mounted more times on Ubuntu 16.10, so it need umount until reported umount error.

Change-Id: Id1f573c6d44cc576e729629c0119c4fdefb5618e
build diff | blob | history
Domain: SCM / Build;