(make_menu_in_widget): Set mapping delay

[gnu-emacs] / config.sub

diff --git a/config.sub b/config.sub
index 193e44bfee91fb8e5d7141f7b6567b770cdb765a..27a3689f78ca96571a8a686f15146f8640a4c30e 100755 (executable)
--- a/config.sub
+++ b/config.sub
@@ -662,7 +662,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*)
@@ -889,8 +889,6 @@ case $basic_machine in
                        -aux*)
                                vendor=apple
                                ;;
-                       -aux*)
-                               vendor=apple
                esac
                basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"`
                ;;