Maintain an extended path in dist-files.mk for better accuracy
This is needed to resolve some duplicate files installed during "make install" by default.
This commit is contained in:
parent
19014400d4
commit
f461f9544b
File diff suppressed because it is too large
Load Diff
@ -247,7 +247,7 @@ function install_prefix {
|
||||
fi
|
||||
|
||||
for f in $(find ${workdir}/install_tmp -type f -printf "%P\n"); do
|
||||
grep -q $(basename $f)[[:space:]] ${HOST_CLING_SRC_DIR}/dist-files.mk
|
||||
grep -q $(echo $f | sed "s|${workdir}/install_tmp/||g")[[:space:]] ${HOST_CLING_SRC_DIR}/dist-files.mk
|
||||
if [ ${?} = 0 ]; then
|
||||
mkdir -p ${prefix}/$(dirname $f)
|
||||
cp ${workdir}/install_tmp/$f ${prefix}/$f
|
||||
|
Loading…
x
Reference in New Issue
Block a user