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