only report error on real panic

Signed-off-by: Alex Chi <[email protected]>
risingwavelabs · Mar 17, 2022 · ba2263e · ba2263e
1 parent a479a36
commit ba2263e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile.toml b/Makefile.toml
@@ -74,8 +74,8 @@ set -e
 
 for out_file in ${PREFIX_LOG}/*.log
 do
-  if grep "panic" "$out_file" -C 10; then
-    echo "\"panic\" found in $out_file, please check if there's any bugs in this PR."
+  if grep "panicked at" "$out_file" -C 10; then
+    echo "\"panicked at\" found in $out_file, please check if there's any bugs in this PR."
     echo "You may find \"risedev-logs\" artifacts and download logs after all workflows finish."
     exit 1
   fi