summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Arnhold <thomas@arnhold.org>2011-02-16 21:01:34 +0100
committerThomas Arnhold <thomas@arnhold.org>2011-02-16 21:01:34 +0100
commitd7c5c964208813d02cd1df4dd1b3bd66b95a5375 (patch)
treef7824843edf3c4b6442a41db9f01300e84072ae9 /.gitignore
parent666bb3e6e4ed25c6e202a8559567b6a99bd5c8b9 (diff)
Updated gitignore to ignore build dirs on other platforms
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore8
1 files changed, 8 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index df61cc59d119..4621c7b32284 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,6 +13,14 @@
/*/wntmsc???.pro
/*/unxmac??
/*/unxmac??.pro
+/*/unx?bsd??
+/*/unx?bsd??.pro
+/*/unxdfly??
+/*/unxdfly??.pro
+/*/unxso???
+/*/unxso???.pro
+/*/unxaig??
+/*/unxaig??.pro
/solver/*
/instsetoo_native/*