summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore4
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index 5f35818..d7659c7 100644
--- 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