From e4d357f47826b3b53dc41d5152a010805e558a73 Mon Sep 17 00:00:00 2001
From: "y0169.zhang" <y0169.zhang@samsung.com>
Date: Sat, 29 Oct 2016 16:54:40 +0900
Subject: [PATCH] $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 | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/build b/build
index c94f365..b1478fd 100755
--- a/build
+++ b/build
@@ -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
-- 
2.34.1