check_examples: skip holonomic

mezzarobba · mezzarobba · commit deeeda60ca46 · 2025-01-26T12:54:48.000+01:00
diff --git a/dev/check_examples.sh b/dev/check_examples.sh
@@ -169,6 +169,9 @@ then
 elif test "$1" = "hilbert_matrix_ca";
 then
     echo "hilbert_matrix_ca....SKIPPED"
+elif test "$1" = "holonomic";
+then
+    echo "holonomic....SKIPPED"
 elif test "$1" = "huge_expr";
 then
     echo "huge_expr....SKIPPED"
