jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

hooks/post-install/remove-libtool: do not escape * to make this work with virtuoso.

Browse source
This commit is contained in:
Juan RP 2014-04-02 12:39:58 +02:00
parent 8fcb0e644a
commit 8fa3cba4ea
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
common/hooks/post-install/02-remove-libtool-archives.sh
View file

@ -2,6 +2,6 @@
hook() { hook() {
if [ -z "$keep_libtool_archives" -a -d "${PKGDESTDIR}" ]; then if [ -z "$keep_libtool_archives" -a -d "${PKGDESTDIR}" ]; then
find ${PKGDESTDIR} -type f -name *.la -delete find ${PKGDESTDIR} -type f -name \*.la -delete
fi fi
} }