diff options
| -rw-r--r-- | multimedia/tabu_audio_player/tabu_audio_player.SlackBuild | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/multimedia/tabu_audio_player/tabu_audio_player.SlackBuild b/multimedia/tabu_audio_player/tabu_audio_player.SlackBuild index 5fc8555f9a..783c19c3cd 100644 --- a/multimedia/tabu_audio_player/tabu_audio_player.SlackBuild +++ b/multimedia/tabu_audio_player/tabu_audio_player.SlackBuild @@ -70,17 +70,8 @@ make install DESTDIR=$PKG # Kill an empty directory rmdir $PKG/usr/share 2>/dev/null || true -( cd $PKG - find . | xargs file | grep "executable" | grep ELF | cut -f 1 -d : | \ - xargs strip --strip-unneeded 2> /dev/null || true - find . | xargs file | grep "shared object" | grep ELF | cut -f 1 -d : | \ - xargs strip --strip-unneeded 2> /dev/null || true -) - -( cd $PKG/usr/man - find . -type f -exec gzip -9 {} \; - for i in $( find . -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done -) +find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \ + | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION cp -a \ |