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

[mdw-cross] / .gitignore

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