diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 5537f0dd791..563a1157cf4 100644 --- a/.gitignore +++ b/.gitignore @@ -123,6 +123,8 @@ 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/.last_hst_ppid /extras/hs-test/summary/ # ./configure |