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 /Makefile | |
| parent | 40d9969c9bae194154fae38ede4f3b1e614d0570 (diff) | |
add top-level makefile
Diffstat (limited to '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 |