diff options
Diffstat (limited to 'devel/git-abidiff-gnutls')
-rwxr-xr-x | devel/git-abidiff-gnutls | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/devel/git-abidiff-gnutls b/devel/git-abidiff-gnutls deleted file mode 100755 index a5507360d0..0000000000 --- a/devel/git-abidiff-gnutls +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/sh - -# This is a diff driver that works on the .abi files during GnuTLS -# development. To use, copy this file to ~/.local/bin and issue the -# following command to update your git configuration: -# -# git config diff.abi.command ~/.local/bin/git-abidiff-gnutls - -top_srcdir=$(git rev-parse --show-toplevel) -bold=$(tput bold) -normal=$(tput sgr0) - -echo "${bold}$1${normal}" -abidiff --suppressions "$top_srcdir/devel/libgnutls.abignore" \ - --hd2 "$top_srcdir/lib/includes/gnutls/" \ - "$2" "$5" || : |