diff options
| author | Karl Berry <karl@freefriends.org> | 2018-10-21 09:02:59 -0700 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-10-21 09:02:59 -0700 |
| commit | 740f32c30d9dd3790af432d6d13dd4c3c0920fd3 (patch) | |
| tree | 68f939c7015f08356fbfe7f7436968add0806181 /build-aux/config.sub | |
| parent | 1ff0e9684bb83a8277ffe22ac125ce7e90f6702b (diff) | |
| download | gnulib-740f32c30d9dd3790af432d6d13dd4c3c0920fd3.tar.gz | |
autoupdate
Diffstat (limited to 'build-aux/config.sub')
| -rwxr-xr-x | build-aux/config.sub | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/config.sub b/build-aux/config.sub index 2d5bbeee11..f208558ec2 100755 --- a/build-aux/config.sub +++ b/build-aux/config.sub @@ -89,7 +89,7 @@ while test $# -gt 0 ; do - ) # Use stdin as input. break ;; -* ) - echo "$me: invalid option $1$help" + echo "$me: invalid option $1$help" >&2 exit 1 ;; *local*) |