diff --git a/.gitignore b/.gitignore
index edeee74a0..ced6c1ffa 100755
--- a/.gitignore
+++ b/.gitignore
@@ -22,6 +22,7 @@
 *.so
 *.so.*
 !/tools/ido5.3_compiler/usr/lib/*.so*
+!/tools/ido5.3_compiler/lib/*.so*
 *.dylib
 
 # Executables