summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakob Kaivo <jkk@ung.org>2019-10-01 21:44:05 -0400
committerJakob Kaivo <jkk@ung.org>2019-10-01 21:44:05 -0400
commit65f5d86a59fa95e5e5258326cf000f3ef1e49d37 (patch)
tree7ba07377755bb0950bb5f382d438e8bf3f841d9b
parent40d9969c9bae194154fae38ede4f3b1e614d0570 (diff)
add top-level makefile
-rw-r--r--Makefile11
1 files changed, 11 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..dac905b
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,11 @@
+.POSIX:
+
+all: bosix
+
+bosix:
+ cd src && $(MAKE) bosix
+ cp src/bosix .
+
+clean:
+ rm -f bosix
+ cd src && $(MAKE) clean