[commit: ghc] master: Re-add `--no-dph` option to ./validate (3694d87)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/3694d8771168690c72be2a5b60add8e1024dc426/ghc

>---------------------------------------------------------------

commit 3694d8771168690c72be2a5b60add8e1024dc426
Author: Herbert Valerio Riedel <hvr at gnu.org>
Date:   Tue Aug 12 14:35:57 2014 +0200

    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).


>---------------------------------------------------------------

3694d8771168690c72be2a5b60add8e1024dc426
 validate | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/validate b/validate
index 3e1fde6..7a7b125 100755
--- a/validate
+++ b/validate
@@ -60,6 +60,9 @@ do
     --normal)
         speed=NORMAL
         ;;
+    --no-dph) # for backward compat
+        use_dph=0
+        ;;
     --dph)
         use_dph=1
         ;;