1 files changed, 1 insertions, 2 deletions

diff --git a/config.sub b/config.sub
index dc075d5cb36..9542fb28ef2 100755
--- a/config.sub
+++ b/config.sub
@@ -307,7 +307,6 @@ case $basic_machine in
                 basic_machine=m68k-hp
                 os=-hpux
                 ;;
-        hp9k2[0-9][0-9] | hp9k31[0-9])
                 basic_machine=m68000-hp
                 ;;
         hp9k3[2-9][0-9])
@@ -662,7 +661,7 @@ case $os in
               | -lynxos* | -bosx* | -nextstep* | -cxux* | -aout* | -elf* \
               | -ptx* | -coff* | -ecoff* | -winnt* | -domain* | -vsta* \
               | -udi* | -eabi* | -lites* | -ieee* | -go32* | -aux* \
-              | -cygwin32* | -pe* | -psos* | -moss* )
+              | -cygwin32* | -pe* | -psos* | -moss* | -proelf* )
         # Remember, each alternative MUST END IN *, to match a version number.
                 ;;
         -sunos5*)