This repository has been archived on 2024-11-03. You can view files and clone it, but cannot push or open issues or pull requests.
|
# This hook removes libtool archives (.la) unless $keep_libtool_archives is set.
|
|
|
|
hook() {
|
|
if [ -z "$keep_libtool_archives" -a -d "${PKGDESTDIR}" ]; then
|
|
find ${PKGDESTDIR} -name \*.la -delete
|
|
fi
|
|
}
|