diff options
Diffstat (limited to 'development/coccinelle/coccinelle.SlackBuild')
-rw-r--r-- | development/coccinelle/coccinelle.SlackBuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/development/coccinelle/coccinelle.SlackBuild b/development/coccinelle/coccinelle.SlackBuild index 7c1111a58912e..e7314d51116c1 100644 --- a/development/coccinelle/coccinelle.SlackBuild +++ b/development/coccinelle/coccinelle.SlackBuild @@ -23,7 +23,7 @@ # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. PRGNAM=coccinelle -VERSION=${VERSION:-1.0.4} +VERSION=${VERSION:-1.0.5} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} @@ -86,8 +86,8 @@ CXXFLAGS="$SLKCFLAGS" \ sed -i -e 's/all: pdf html/all: html/' docs/manual/Makefile -make -make install DESTDIR=$PKG +make -j1 +make -j1 install DESTDIR=$PKG find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true |