don't clean GMP before validating (it rarely changes, and is slow to build)
authorSimon Marlow <marlowsd@gmail.com>
Thu, 21 May 2009 07:48:40 +0000 (07:48 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 21 May 2009 07:48:40 +0000 (07:48 +0000)
commit55d900daf982b0ad18a715b7f83c3bd2deb5138d
tree19f0475c28af99281ad1437d087dc27799ceac1c
parente1a10e81a655c1ad1116b3e242eed645a045b312
don't clean GMP before validating (it rarely changes, and is slow to build)
gmp/ghc.mk
validate