Fix build when dph is not in the tree; fixes #7733
authorIan Lynagh <ian@well-typed.com>
Sun, 3 Mar 2013 13:41:46 +0000 (13:41 +0000)
committerIan Lynagh <ian@well-typed.com>
Sun, 3 Mar 2013 14:20:27 +0000 (14:20 +0000)
commit180c850db96e5c953ac3cfb444302631e57995c3
treecb79ce4b6a3d226d62c4919f1c1de0ad6517e116
parent056997a285a368f5f78905b4b325a3258484f71d
Fix build when dph is not in the tree; fixes #7733

Patch from Stephen Blackheath.
ghc.mk