Update util_functions.sh

Eliminates `cat: write error`
2019-01-10 14:29:13 -05:00 · 2019-01-10 14:29:13 -05:00 · 0a64a7e5d4
parent 586488af48
commit 0a64a7e5d4
1 changed files with 1 additions and 1 deletions
--- 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 $?
 }