diff options
Diffstat (limited to 'development/splint')
| -rw-r--r-- | development/splint/slack-desc | 8 | ||||
| -rw-r--r-- | development/splint/splint.SlackBuild | 11 |
2 files changed, 10 insertions, 9 deletions
diff --git a/development/splint/slack-desc b/development/splint/slack-desc index bb409aa212..8a71d167b1 100644 --- a/development/splint/slack-desc +++ b/development/splint/slack-desc @@ -1,3 +1,11 @@ +# HOW TO EDIT THIS FILE: +# The "handy ruler" below makes it easier to edit a package description. Line +# up the first '|' above the ':' following the base package name, and the '|' +# on the right side marks the last column you can put a character in. You must +# make exactly 11 lines for the formatting to be correct. It's also +# customary to leave one space after the ':'. + + |-----handy-ruler------------------------------------------------------| splint: Splint (Secure Programming Lint) splint: splint: Splint is a tool for statically checking C programs for security diff --git a/development/splint/splint.SlackBuild b/development/splint/splint.SlackBuild index 09490ffa01..564f182b76 100644 --- a/development/splint/splint.SlackBuild +++ b/development/splint/splint.SlackBuild @@ -9,7 +9,7 @@ VERSION=3.1.1 ARCH=${ARCH:-i486} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} -CWD=`pwd` +CWD=$(pwd) TMP=${TMP:-/tmp/SBo} PKG=$TMP/package-$PRGNAM OUTPUT=${OUTPUT:-/tmp} @@ -45,17 +45,10 @@ make install DESTDIR=$PKG || exit 1 find . | xargs file | grep "shared object" | grep ELF | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null ) -if [ -d $PKG/usr/man ]; then ( 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 + for i in $(find . -type l) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done ) -fi - -if [ -d $PKG/usr/info ]; then - gzip -9 $PKG/usr/info/*.info - rm -f $PKG/usr/info/dir -fi mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION cp README $PKG/usr/doc/$PRGNAM-$VERSION |