Avoid running cdindex in CI

It has complex and fragile dependencies.
dspinellis · Jan 12, 2025 · 94d3d61 · 94d3d61
1 parent fbad050
commit 94d3d61
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/examples/Makefile b/examples/Makefile
@@ -31,7 +31,8 @@ export TIME?=
 # Avoid Python scripts requiring numpy and scipy
 export EXPENSIVE_DEPENDENCIES?=true
 
-SUBDIRS?=$(shell find . -mindepth 1 -maxdepth 1 -type d)
+SUBDIRS?=$(shell find . -mindepth 1 -maxdepth 1 -type d -not -name cdindex \
+  -not -name tawfik-works -not -name cs_cdindex)
 
 .PHONY: all $(SUBDIRS) verify-links clean