diff options
| -rwxr-xr-x | bin/misc-functions.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/misc-functions.sh b/bin/misc-functions.sh index 59fa51e70..58507893c 100755 --- a/bin/misc-functions.sh +++ b/bin/misc-functions.sh @@ -414,7 +414,7 @@ install_mask() { # we also need to handle globs (*.a, *.h, etc) find "${root}" \( -path "${no_inst}" -or -name "${no_inst}" \) \ - -exec rm -fR {} \; >/dev/null + -exec rm -fR {} \; >/dev/null 2>&1 done # set everything back the way we found it set +o noglob |