diff options
Diffstat (limited to 'os/manga/Mk')
| -rwxr-xr-x | os/manga/Mk | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/os/manga/Mk b/os/manga/Mk new file mode 100755 index 00000000..51d69a44 --- /dev/null +++ b/os/manga/Mk @@ -0,0 +1,8 @@ +#!/bin/rc +rfork ne +ROOT=/usr/inferno +fn cd +NPROC=3 +path=(/usr/inferno/Plan9/$cputype/bin $path) +#bind /usr/inferno/mkconfig.dist /usr/inferno/mkconfig +exec mk $* |