t/coverage.sh: Don't git reset but test the current, possibly dirty, code.

Instead, only get back files which are not included in the tarball.

diff --git a/t/coverage.sh b/t/coverage.sh
index 460089753a9d75f733118e26592e205b9b87841a..8be94cf6e6bac9394a06b0066498206506af9d37 100755 (executable)
--- a/t/coverage.sh
+++ b/t/coverage.sh
@@ -38,8 +38,7 @@ if test -d "$srcdir"/.git/; then
        cp -a "$srcdir"/.git .
 
        # reset all files which are not part of the tarball
-       # (e.g. .gitignore, .travis.yml which would else cause a "dirty" version)
-       git reset --hard
+       git checkout HEAD .gitignore .travis.yml
 fi
 
 ./configure --enable-gcov --disable-shared CFLAGS="-O0 -g"