Refer to the wiki page in the "Make has restarted itself n times" error
authorIan Lynagh <ian@well-typed.com>
Sun, 19 May 2013 19:44:32 +0000 (20:44 +0100)
committerIan Lynagh <ian@well-typed.com>
Sun, 19 May 2013 19:44:32 +0000 (20:44 +0100)
commit83a9f4f4cc3d1358d76a4b3815f0d567560b35e7
tree4fbc7c481b6e43ef93789d7c60a673928ff98195
parent6acfc45604915603580eaa01e24eddd43daabef3
Refer to the wiki page in the "Make has restarted itself n times" error

Fixes #7592.
ghc.mk