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