chiark / gitweb /
src/crosstool.in: Don't establish `$crosstool' if we don't need it.
[mdw-cross] / .gitignore
CommitLineData
62d4726c 1/bin/
1a141be6 2/inst.*/
f73a878f 3/etc/config.sh
1a141be6
MW
4/etc/*-setup.sh
5