From 3694d8771168690c72be2a5b60add8e1024dc426 Mon Sep 17 00:00:00 2001
From: Herbert Valerio Riedel <hvr@gnu.org>
Date: Tue, 12 Aug 2014 14:35:57 +0200
Subject: 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).
---
 validate | 3 +++
 1 file changed, 3 insertions(+)

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
         ;;
-- 
cgit v1.2.1