diff options
Diffstat (limited to 'src/benchmarks/espresso/Makefile')
| -rw-r--r-- | src/benchmarks/espresso/Makefile | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/benchmarks/espresso/Makefile b/src/benchmarks/espresso/Makefile deleted file mode 100644 index 3c42b66..0000000 --- a/src/benchmarks/espresso/Makefile +++ /dev/null @@ -1,10 +0,0 @@ -OBJDIR ?= obj - -.PHONY = all clean - -all: - cmake -S $(shell pwd) -B $(OBJDIR) - make -C $(OBJDIR) - -clean: - rm -rf $(OBJDIR) |