nostrip_files: allow full path

The option `nostrip_files` takes a filename without path, in contrast to
option `nopie_files` which takes only full path.

This commit makes it so that `nostrip_files` can take either the
filename or the full path.
This commit is contained in:
Gonzalo Tornaría 2022-01-05 20:59:20 -03:00 committed by Piotr
parent 595ae5ea51
commit 17e9801568
2 changed files with 3 additions and 3 deletions

View file

@ -72,7 +72,7 @@ hook() {
fname=${f##*/}
for x in ${nostrip_files}; do
if [ "$x" = "$fname" ]; then
if [ "$x" = "$fname" -o "$x" = "${f#$PKGDESTDIR}" ]; then
found=1
break
fi