Commit cf33345de616d4df501e03bc0e7e977ca894152c

Thomas de Grivel 2022-08-11T08:50:05

add compatibility makefile for GNU make

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
diff --git a/GNUmakefile b/GNUmakefile
new file mode 100644
index 0000000..e16610e
--- /dev/null
+++ b/GNUmakefile
@@ -0,0 +1,12 @@
+BMAKE = bmake -j4
+
+all:
+	${BMAKE} all
+
+clean:
+	${BMAKE} clean
+
+%:
+	${BMAKE} $@
+
+.PHONY: all clean