diff --git a/simple-test.sh b/simple-test.sh index efc93ca..ae5ffbd 100755 --- a/simple-test.sh +++ b/simple-test.sh @@ -88,7 +88,7 @@ function do_read_operations() } function cleanup() { - cat /proc/mounts | grep simplefs | awk '{print $2}' | xargs -r umount + cat /proc/mounts | fgrep ' simplefs ' | awk '{print $2}' | xargs -r umount lsmod | grep -q simplefs && rmmod "$root_pwd/simplefs.ko" # TODO: prompt deletion