audio/gnump3d: Fixed for bash4.

This commit is contained in:
David Somero 2010-05-19 02:31:07 -04:00
parent 085ce2a051
commit e38676934e

View file

@ -67,12 +67,8 @@ make install \
PREFIX=$PKG \ PREFIX=$PKG \
MANDIR=/usr/man/man1 MANDIR=/usr/man/man1
( cd $PKG find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \
find . | xargs file | grep "executable" | grep ELF | cut -f 1 -d : | \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true
xargs strip --strip-unneeded 2> /dev/null
find . | xargs file | grep "shared object" | grep ELF | cut -f 1 -d : | \
xargs strip --strip-unneeded 2> /dev/null
)
( cd $PKG/usr/man ( cd $PKG/usr/man
find . -type f -exec gzip -9 {} \; find . -type f -exec gzip -9 {} \;