diff options
Diffstat (limited to 'games')
| -rw-r--r-- | games/torcs/torcs.SlackBuild | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/games/torcs/torcs.SlackBuild b/games/torcs/torcs.SlackBuild index 29e6bf0143..b19923afc7 100644 --- a/games/torcs/torcs.SlackBuild +++ b/games/torcs/torcs.SlackBuild @@ -55,12 +55,8 @@ make datainstall DESTDIR=$PKG # For some reason `make install' creates all the dirs 0777 find $PKG -type d | xargs chmod 0755 -( 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 -) +find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \ + | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true # Tenemos una pagina de man en espanol... mkdir -p $PKG/usr/man/man6 $PKG/usr/man/es/man6 |