sl/check-property.sh: performance issue on large trace files

kdudka · Jan 10, 2017 · 18397cd · 18397cd
1 parent 88d5db1
commit 18397cd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sl/check-property.sh.in b/sl/check-property.sh.in
@@ -160,7 +160,7 @@ find_plug SL_PLUG sl Predator
 match() {
     line="$1"
     shift
-printf "%s" "$line" | grep -E "$@" >/dev/null
+    [[ $line =~ $@ ]]
     return $?
 }