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

1 files changed, 3 insertions, 0 deletions

diff --git a/validate b/validate
index 3e1fde66b3..7a7b1256a5 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
         ;;