From 0e5095bc3b0d61eb9aeb73786a0e7caa23c1fc8b Mon Sep 17 00:00:00 2001
From: Ben Elliston <bje@gnu.org>
Date: Wed, 1 Nov 2017 09:00:35 +1100
Subject: [PATCH] 	* config.sub (maybe_os): Remove redundant dpx2*-bull
 pattern. 	Already matched by dpx2*.

---
 ChangeLog  | 5 +++++
 config.sub | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 6ba605a..4cf875e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2017-11-01  Ben Elliston  <bje@gnu.org>
+
+	* config.sub (maybe_os): Remove redundant dpx2*-bull pattern.
+	Already matched by dpx2*.
+
 2017-10-26  Ben Elliston  <bje@gnu.org>
 
 	* testsuite/config-guess.sh (run_config_guess): Simplify.
diff --git a/config.sub b/config.sub
index c6950fd..f6491f8 100755
--- a/config.sub
+++ b/config.sub
@@ -2,7 +2,7 @@
 # Configuration validation subroutine script.
 #   Copyright 1992-2017 Free Software Foundation, Inc.
 
-timestamp='2017-09-26'
+timestamp='2017-11-01'
 
 # This file is free software; you can redistribute it and/or modify it
 # under the terms of the GNU General Public License as published by
@@ -640,7 +640,7 @@ case $basic_machine in
 		basic_machine=rs6000-bull
 		os=-bosx
 		;;
-	dpx2* | dpx2*-bull)
+	dpx2*)
 		basic_machine=m68k-bull
 		os=-sysv3
 		;;