src/crosstool.in: Don't establish `$crosstool' if we don't need it.

[mdw-cross] / .gitignore

diff --git a/.gitignore b/.gitignore
index 047b29ac6f55443620b15e1aca58387d9b7ad1d7..5de63997857d10b992ecde97612acf5623f1aeba 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
+/bin/
 /inst.*/
+/etc/config.sh
 /etc/*-setup.sh