diff options
author | Jakob Kaivo <jkk@ung.org> | 2019-10-01 21:44:05 -0400 |
---|---|---|
committer | Jakob Kaivo <jkk@ung.org> | 2019-10-01 21:44:05 -0400 |
commit | 65f5d86a59fa95e5e5258326cf000f3ef1e49d37 (patch) | |
tree | 7ba07377755bb0950bb5f382d438e8bf3f841d9b | |
parent | 40d9969c9bae194154fae38ede4f3b1e614d0570 (diff) |
add top-level makefile
-rw-r--r-- | Makefile | 11 |
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 |