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

[mdw-cross] / .gitignore

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