diff options
author | Mike Frysinger <vapier@gentoo.org> | 2022-02-07 23:29:13 -0500 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2022-02-08 22:44:42 -0500 |
commit | 24a28a24e32b1195ca5fc9f2d1303bc0368fe18b (patch) | |
tree | d6cbea94af41394bc0529f50f852c3b1d01deee8 | |
parent | 79d03908e4bf2565102fa9343b011a1d0dde922a (diff) | |
download | automake-24a28a24e32b1195ca5fc9f2d1303bc0368fe18b.tar.gz |
ar-lib: ignore -nologo option
We already invoke $AR with -NOLOGO all the time, so we can ignore the
option entirely if the user specifies it.
* lib/ar-lib: Ignore -NOLOGO.
-rwxr-xr-x | lib/ar-lib | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/ar-lib b/lib/ar-lib index 9dc8ef6df..54c6bdbf7 100755 --- a/lib/ar-lib +++ b/lib/ar-lib @@ -135,6 +135,10 @@ do AR="$AR $1" shift ;; + -nologo | -NOLOGO) + # We always invoke AR with -nologo, so don't need to add it again. + shift + ;; *) action=$1 shift |