diff --git a/racket/src/utils/nicear b/racket/src/utils/nicear index f1b10df090..2eafbaa625 100755 --- a/racket/src/utils/nicear +++ b/racket/src/utils/nicear @@ -1,3 +1,3 @@ #!/bin/sh -$* 2>&1 | awk '/^ar: creating / || /^[ar] \-/ { print } ! ( /ar: creating / || /^[ar] \-/ ) { print | "cat 1>&2" }' +$* 2>&1 | awk '/^ar: creating / || /^[ar] \-/ || / modifier ignored / { print } ! ( /ar: creating / || /^[ar] \-/ || / modifier ignored / ) { print | "cat 1>&2" }'