Add overlooked files created by `configure` to `extra-tmp-files`
authorHerbert Valerio Riedel <hvr@gnu.org>
Thu, 24 Oct 2013 20:13:15 +0000 (22:13 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Thu, 24 Oct 2013 20:13:48 +0000 (22:13 +0200)
Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
integer-gmp.cabal

index 6bc847c..9de49ab 100644 (file)
@@ -30,6 +30,8 @@ extra-tmp-files:
     autom4te.cache
     config.log
     config.status
+    gmp/config.mk
+    integer-gmp.buildinfo
 
 source-repository head
     type:     git