aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile10
1 files changed, 5 insertions, 5 deletions
diff --git a/makefile b/makefile
index 41e74eb..14da6dc 100644
--- a/makefile
+++ b/makefile
@@ -1,8 +1,8 @@
-# this makefile transparently forwards all `make` calls to `redo` for convenience
+main: main.o
-.PHONY: FORCE
+clean:
+ git clean -fxdi
-all: FORCE
- @redo $(MAKECMDGOALS)
+compile_commands.json:
+ compiledb make -Bn
-$(MAKECMDGOALS): all