diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 5537f0dd791..a1550566b42 100644 --- a/.gitignore +++ b/.gitignore @@ -123,6 +123,7 @@ compile_commands.json /extras/hs-test/hs-test /extras/hs-test/http_server /extras/hs-test/.build.ok +/extras/hs-test/.build.cov.ok /extras/hs-test/summary/ # ./configure |