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)
commited55293ba922c1e5279a10ebc83ca3570909c5be
treec2d1e2e11100a7dad35757ca34633906c67e192b
parent626b563addba0b164fb738cf98f17504dd3f62bc
Add overlooked files created by `configure` to `extra-tmp-files`

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