# HG changeset patch
# User Karl Berry <karl@freefriends.org>
# Date 1540137779 25200
# Node ID 3972bb42da8b72df5d24845a4b2559d7f252c983
# Parent  3ab19de60a55707f7990bdbd40fbeefbec0e1f54
autoupdate

diff -r 3ab19de60a55 -r 3972bb42da8b build-aux/config.sub
--- a/build-aux/config.sub	Tue Oct 16 21:27:45 2018 +0200
+++ b/build-aux/config.sub	Sun Oct 21 09:02:59 2018 -0700
@@ -89,7 +89,7 @@
     - )	# Use stdin as input.
        break ;;
     -* )
-       echo "$me: invalid option $1$help"
+       echo "$me: invalid option $1$help" >&2
        exit 1 ;;
 
     *local*)