From 93ce496efc7935b08e09535d1d1c57832071773d Mon Sep 17 00:00:00 2001
From: Lukas Barth <lukas.barth@kit.edu>
Date: Tue, 10 Mar 2020 15:28:32 +0100
Subject: [PATCH] Simplify mount check

---
 rw-system.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/rw-system.sh b/rw-system.sh
index a16c305..8aabd96 100644
--- a/rw-system.sh
+++ b/rw-system.sh
@@ -541,8 +541,7 @@ if [ -c /dev/dsm ];then
     chown system:system /data/sec_storage_data
     chcon -R u:object_r:teecd_data_file:s0 /data/sec_storage_data
 
-    mount | grep " on /sec_storage " > /dev/null 2>&1
-    if [ "$?" -eq "0" ]; then
+    if mount | grep -q " on /sec_storage " ; then
         # /sec_storage is already mounted by the vendor, don't try to create and mount it
         # ourselves. However, some devices have /sec_storage owned by root, which means that
         # the fingerprint daemon (running as system) cannot access it.