From 0a64a7e5d40e45f467fa9f85017697be0004a626 Mon Sep 17 00:00:00 2001
From: Zackptg5 <zackptg5@gmail.com>
Date: Thu, 10 Jan 2019 14:29:13 -0500
Subject: [PATCH] Update util_functions.sh

Eliminates `cat: write error`
---
 scripts/util_functions.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/util_functions.sh b/scripts/util_functions.sh
index 6ed4dd546..63a932cb8 100644
--- a/scripts/util_functions.sh
+++ b/scripts/util_functions.sh
@@ -252,7 +252,7 @@ sign_chromeos() {
 }
 
 is_mounted() {
-  cat /proc/mounts | grep -q " `readlink -f $1` " 2>/dev/null
+  grep -q " `readlink -f $1` " /proc/mounts 2>/dev/null
   return $?
 }