[project @ 2001-05-31 11:10:30 by simonpj]
authorsimonpj <unknown>
Thu, 31 May 2001 11:10:30 +0000 (11:10 +0000)
committersimonpj <unknown>
Thu, 31 May 2001 11:10:30 +0000 (11:10 +0000)
commit85f83fc1f0c1a7d6c543fe001ba89548efec2380
treebbda1424c1ec3e29ab8debf79bd0501893b9130e
parente13210b23e7f100c6f681b593b6f78445608aa38
[project @ 2001-05-31 11:10:30 by simonpj]
More echoes; I have no idea why we get stuck, but sometimes we do
ghc/rts/gmp/configure