From b92b77f2f3ad0b6683c5f8d6d9a02870ea3bef28 Mon Sep 17 00:00:00 2001 From: Loek Le Blansch Date: Mon, 27 May 2024 18:21:33 +0200 Subject: move to make --- makefile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'makefile') 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 -- cgit v1.2.3