chiark / gitweb /
src/crosstool.in: Don't establish `$crosstool' if we don't need it.
[mdw-cross] / .gitignore
index fc64fe34b91cbe23f12c943d0c285e203c893562..5de63997857d10b992ecde97612acf5623f1aeba 100644 (file)
@@ -1 +1,5 @@
-inst.*/
+/bin/
+/inst.*/
+/etc/config.sh
+/etc/*-setup.sh
+