diff options
| author | Petter Rodhelind <petter.rodhelind@gmail.com> | 2020-06-18 23:57:51 +0200 |
|---|---|---|
| committer | Petter Rodhelind <petter.rodhelind@gmail.com> | 2020-06-18 23:57:51 +0200 |
| commit | 7cda34cf34f3afbd3f2000aa5e2b59ddc319f0f2 (patch) | |
| tree | ff18b856a35c80a9cc40573c76899d8a468bedc5 /INSTALL | |
| parent | ea23656f7c3afcfd8516b00c0db09879ae80a09f (diff) | |
| parent | 329831171dd6ef81c113f101093c7b4947381003 (diff) | |
| download | plan9port-7cda34cf34f3afbd3f2000aa5e2b59ddc319f0f2.tar.gz plan9port-7cda34cf34f3afbd3f2000aa5e2b59ddc319f0f2.tar.bz2 plan9port-7cda34cf34f3afbd3f2000aa5e2b59ddc319f0f2.zip | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'INSTALL')
| -rwxr-xr-x | INSTALL | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -143,10 +143,9 @@ echo "* Compiler version:" cd src if $dobuild; then - if [ ! -x ../bin/mk ]; then - echo "* Building mk..." - ../dist/buildmk 2>&1 | sed 's/^[+] //' - fi + echo "* Building mk..." + ../dist/buildmk 2>&1 | sed 's/^[+] //' + if [ ! -x ../bin/mk ]; then echo "* Error: mk failed to build." exit 1 |