From 3a727f6993830ec282dfcd55a67e5b8103a98dc9 Mon Sep 17 00:00:00 2001
From: David Somero <xgizzmo@slackbuilds.org>
Date: Wed, 19 May 2010 02:36:15 -0400
Subject: [PATCH] libraries/ginac: Fixed for bash4.

---
 libraries/ginac/ginac.SlackBuild | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/libraries/ginac/ginac.SlackBuild b/libraries/ginac/ginac.SlackBuild
index 94c9bbca90..3af6181430 100644
--- a/libraries/ginac/ginac.SlackBuild
+++ b/libraries/ginac/ginac.SlackBuild
@@ -55,12 +55,8 @@ CXXFLAGS="$SLKCFLAGS" \
 make
 make install DESTDIR=$PKG
 
-( 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
 
 ( cd $PKG/usr/man
   find . -type f -exec gzip -9 {} \;