[commit] master: fix .gitignores

[Oswald B. <os...@us...>]

commit 16db3498b383ccc38ff74202fa758fca44a5d8e2
Author: Oswald Buddenhagen <os...@us...>
Date:   Tue May 3 23:11:52 2022 +0200

    fix .gitignores
    
    - src/tmp/ is actually a symlink (and thus not a dir)
    - autoconf now generates configure~
    - the coverity result archive was missed so far

 .gitignore     | 2 ++
 src/.gitignore | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 310c0280..236dae50 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,6 +14,7 @@
 /config.status
 /config.sub
 /configure
+/configure~
 /configure.lineno
 /configure-stamp
 /cov-int/
@@ -22,6 +23,7 @@
 /isync.spec
 /isync-*.tar.gz
 /isync-*.tar.gz.asc
+/isync-cov.tar.xz
 /missing
 /patch-stamp
 /stamp-h
diff --git a/src/.gitignore b/src/.gitignore
index d58dda72..116456f9 100644
--- a/src/.gitignore
+++ b/src/.gitignore
@@ -2,7 +2,7 @@
 /mbsync
 /mdconvert
 /tst_timers
-/tmp/
+/tmp
 
 .deps/
 *.o