Re-add `--no-dph` option to ./validate
authorHerbert Valerio Riedel <hvr@gnu.org>
Tue, 12 Aug 2014 12:35:57 +0000 (14:35 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Tue, 12 Aug 2014 12:35:57 +0000 (14:35 +0200)
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).

validate

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