diff --git a/tools/workflows/Makefile b/tools/workflows/Makefile index 283110ced..0ff73bdb4 100644 --- a/tools/workflows/Makefile +++ b/tools/workflows/Makefile @@ -19,7 +19,7 @@ TARGETS := all clean USE_VENV := false # Makefile based projects -makefile_dirs := $(addprefix $(ROOT)/,demos test testex testhal testrt) +makefile_dirs := $(addprefix $(ROOT)/,demos test testex testhal testrt os/sb/apps) makefiles := $(shell $(WORKFLOWS)/find.py --makefile --make --no-overlaps \ $(makefile_dirs))