.gitignore: Properly ignore sym-linked folders of code analysis tools

(fix commit 8e4544c)

diff --git a/.gitignore b/.gitignore
index d2f648b..df2f976 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -132,8 +132,8 @@ stamp-h1
 *.vcproj.*.user
 
 # Code analysis tools:
-/.sv*-dir/
-/cov-int/
+/.sv*-dir
+/cov-int
 /pvs-project.log
 /pvs-project.tasks
 /strace_out