diff options
Diffstat (limited to 'benchmarks/Makefile')
| -rw-r--r-- | benchmarks/Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/benchmarks/Makefile b/benchmarks/Makefile new file mode 100644 index 0000000..79e1afd --- /dev/null +++ b/benchmarks/Makefile @@ -0,0 +1,16 @@ +.PHONY: benchmark +benchmark: + $(MAKE) -f scripts/makefile benchmark + +.DEFAULT: + $(MAKE) -f scripts/makefile $< + +SOURCES != echo */source.mk +DO != echo -n > benchmarks.mk +include $(SOURCES) + +RM ?= rm + +.PHONY: clean +clean: + $(RM) -rf build |
