 Giacomo Tesio
|
7401210ed2
|
mksh: use $JEHENNE/posix
|
2018-11-26 23:29:26 +01:00 |
|
Giacomo Tesio
|
e451b1b7e9
|
mksh: install in /cmd/mksh instead of /cmd/sh
|
2017-12-29 22:58:24 +01:00 |
|
Giacomo Tesio
|
ba36ad5a30
|
mksh: fix build.sh logging
|
2017-12-22 00:26:38 +01:00 |
|
Giacomo Tesio
|
33779334f1
|
mksh: simplify Build.sh
|
2017-12-21 07:49:37 +01:00 |
|
Giacomo Tesio
|
949ca19440
|
mksh: better build
|
2017-12-19 00:07:41 +01:00 |
|
Giacomo Tesio
|
86c2386c1c
|
devtools: simplify newlib's build; add mksh build
|
2017-12-18 00:16:35 +01:00 |