log toolchain/build+install.sh @ 1011:6d9b10633f10 default tip

age author description
Tue, 30 Oct 2018 00:12:26 +0000 Mychaela Falconia toolchain/build+install.sh: fixed ancient bug wherein the path for