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)
commit944c19027cc482f4198d547b9ba2fe1000b93df6
treea7007aac4a3324a0025eaf4be59ac9a378e9a02b
parent0a39d19f7332b94e119d32f22f0c4aa7a51a3114
Add overlooked files created by `configure` to `extra-tmp-files`

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
libraries/integer-gmp/integer-gmp.cabal