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

(fix commit fa3ebc3)

diff --git a/.gitignore b/.gitignore
index 5f358180a8d63bfabe5f37cac7f531dd7b3e8b6f..d7659c791941a2562a8ca0f7488f6a5807b76310 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -69,8 +69,8 @@ Makefile.in
 /tests/test*.trs
 
 # Code analysis tools:
-/.sv*-dir/
-/cov-int/
+/.sv*-dir
+/cov-int
 /pvs-project.log
 /pvs-project.tasks
 /strace_out