Re-add `--no-dph` option to ./validate

Authored by hvr.

Description

Re-add --no-dph option to ./validate

This was removed in bb003086599c2ac166cfb3aa710480713adb5a2f
and caused some buildbots to stop working. So this commit just
re-adds it as a no-op (wrt the current default).

Details

Committed
hvrAug 12 2014, 7:35 AM
Parents
rGHC0a3944c34b83: testsuite/base: update .gitignore
Branches
Unknown
Tags
Unknown
Build Status
Buildable 400
Build 401: GHC Continuous Integration (amd64/Linux)