From d8b8adb88c847c17e503816586db2be4dbc7154a Mon Sep 17 00:00:00 2001
From: topjohnwu <topjohnwu@gmail.com>
Date: Wed, 22 Nov 2017 22:22:29 +0800
Subject: [PATCH] Fix is_mounted function

---
 scripts/util_functions.sh | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/scripts/util_functions.sh b/scripts/util_functions.sh
index 55def92cd..e965f2daa 100644
--- a/scripts/util_functions.sh
+++ b/scripts/util_functions.sh
@@ -209,11 +209,8 @@ sign_chromeos() {
 }
 
 is_mounted() {
-  if [ ! -z "$2" ]; then
-    cat /proc/mounts | grep $1 | grep $2, >/dev/null
-  else
-    cat /proc/mounts | grep $1 >/dev/null
-  fi
+  TARGET="`resolve_link $1`"
+  cat /proc/mounts | grep " $TARGET " >/dev/null
   return $?
 }