[project @ 2004-10-12 16:33:00 by sof]
authorsof <unknown>
Tue, 12 Oct 2004 16:33:01 +0000 (16:33 +0000)
committersof <unknown>
Tue, 12 Oct 2004 16:33:01 +0000 (16:33 +0000)
commitb6d70ef77033fd09f7bfb9c020fd9e40b3dbac29
tree919d66a4ce64bc18d895e2bb736d0299266b2a5d
parent6a4854eaa266d994ebd0d471614a52b43dd329d9
[project @ 2004-10-12 16:33:00 by sof]
Had enough of 'make boot' completely rebuilding gmp/ each time around.
ghc/rts/Makefile
ghc/rts/gmp/configure