summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorfarisawan-2000 <farisawan.2000@gmail.com>2020-10-15 11:08:49 -0400
committerfarisawan-2000 <farisawan.2000@gmail.com>2020-10-15 11:08:49 -0400
commitd952e145525dc216bcdabdd5259ee24368b9818e (patch)
tree812f516f3f54e52b6d5503b93ec4fdf3bfbe0e1c
parent69af69fce8556987b82f9fa665f588c100944489 (diff)
added exception for IDO libs
-rwxr-xr-x.gitignore3
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 74b8ba81f..edeee74a0 100755
--- a/.gitignore
+++ b/.gitignore
@@ -17,10 +17,11 @@
*.la
*.lo
-# Shared objects (inc. Windows DLLs)
+# Shared objects (inc. Windows DLLs), except those in IDO
*.dll
*.so
*.so.*
+!/tools/ido5.3_compiler/usr/lib/*.so*
*.dylib
# Executables