diff options
| -rwxr-xr-x | Documentation/maintainers/bump_new_revision.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Documentation/maintainers/bump_new_revision.sh b/Documentation/maintainers/bump_new_revision.sh index 54311e27711..de8744cd78d 100755 --- a/Documentation/maintainers/bump_new_revision.sh +++ b/Documentation/maintainers/bump_new_revision.sh @@ -308,9 +308,11 @@ case ${OPERATION} in break fi done - if [ ${PATCH_IN_USE} == "false" ]; then\ + if [[ ${PATCH_IN_USE} = "false" ]]; then echo "Removing ${PATCH}. No longer used in package ${EBUILD_BASEDIR}." - git rm -rf "files/${PATCH}" + pushd files/ &> /dev/null + git rm -rf $(find ./ -type f -name ${PATCH}) + popd &> fi done fi |
