diff -r c270b6c8162b -r 53c66c4aefa3 tests/genericmake/project_files/Makefile
--- a/tests/genericmake/project_files/Makefile	Tue Jan 25 16:37:16 2022 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-BEREMIZ_OBJS = $(BEREMIZSRC:.c=.o)
-
-all: warn some_binary
-	@echo "*** all done ***"
-
-warn:
-	@echo "*** Sample Makefile, does nothing ***"
-
-some_binary: $(BEREMIZ_OBJS)
-	@echo "* Would link $^ -> $@"
-
-%.o: %.c
-	@echo "* Would compile $< -> $@"