diff options
Diffstat (limited to 'bin/misc-functions.sh')
| -rw-r--r-- | 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 f291e036b..8535a9679 100644 --- a/bin/misc-functions.sh +++ b/bin/misc-functions.sh @@ -290,7 +290,7 @@ install_mask() { rm -Rf ${root}/${no_inst} >&/dev/null # we also need to handle globs (*.a, *.h, etc) - find "${root}" -name ${no_inst} -exec rm -fR {} \; >/dev/null + find "${root}" -path ${no_inst} -exec rm -fR {} \; >/dev/null done # set everything back the way we found it set +o noglob |