diff options
| author | y0169.zhang <y0169.zhang@samsung.com> | 2016-10-29 16:54:40 +0900 |
|---|---|---|
| committer | SoonKyu Park <sk7.park@samsung.com> | 2016-12-27 18:03:07 +0900 |
| commit | e4d357f47826b3b53dc41d5152a010805e558a73 (patch) | |
| tree | addc21595cdcdd2d574ea625635eac1efe8605d7 | |
| parent | 13638150e5f2abd076d0806d48645757c54d22af (diff) | |
| download | build-e4d357f47826b3b53dc41d5152a010805e558a73.tar.gz build-e4d357f47826b3b53dc41d5152a010805e558a73.tar.bz2 build-e4d357f47826b3b53dc41d5152a010805e558a73.zip | |
$BUILD_ROOT/dev/pts could be mounted more times on Ubuntu 16.10, so it need umount until reported umount error.
Change-Id: Id1f573c6d44cc576e729629c0119c4fdefb5618e
| -rwxr-xr-x | build | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -367,7 +367,14 @@ cleanup_and_exit () { else umount -n $BUILD_ROOT/proc/sys/fs/binfmt_misc 2> /dev/null || true umount -n $BUILD_ROOT/proc 2>/dev/null || true - umount -n $BUILD_ROOT/dev/pts 2>/dev/null || true + while true + do + umount -n $BUILD_ROOT/dev/pts 2>/dev/null + if test $? -ne 0; then + break + fi + done + umount -n $BUILD_ROOT/dev/shm 2>/dev/null || true umount -n $BUILD_ROOT/sys 2>/dev/null || true test -n "$VM_IMAGE" -a "$VM_IMAGE" != 1 && umount $BUILD_ROOT 2>/dev/null || true |