From 5364db9f1069cb75c51d696c075c6e535fdb0411 Mon Sep 17 00:00:00 2001
From: lonkaars <loek@pipeframe.xyz>
Date: Tue, 16 Apr 2024 19:54:59 +0200
Subject: hello world

---
 makefile | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 makefile

(limited to 'makefile')

diff --git a/makefile b/makefile
new file mode 100644
index 0000000..41e74eb
--- /dev/null
+++ b/makefile
@@ -0,0 +1,8 @@
+# this makefile transparently forwards all `make` calls to `redo` for convenience
+
+.PHONY: FORCE
+
+all: FORCE
+	@redo $(MAKECMDGOALS)
+
+$(MAKECMDGOALS): all
-- 
cgit v1.2.3