diff options
author | František Krenželok <krenzelok.frantisek@gmail.com> | 2021-10-19 13:16:57 +0000 |
---|---|---|
committer | František Krenželok <krenzelok.frantisek@gmail.com> | 2021-10-19 13:16:57 +0000 |
commit | 17f76888e27c822776166636e28c492d1f0a60ed (patch) | |
tree | 5e4d9685e710a42abe27d4489a3446900d9b87b8 /devel/git-abidiff-gnutls | |
parent | 9571f3a9e202ca2eeb369bb320bb93b638bb718c (diff) | |
parent | b7147a9162f75b7209ba47851ddf72108e079ad7 (diff) | |
download | gnutls-17f76888e27c822776166636e28c492d1f0a60ed.tar.gz |
Merge branch 'wip/dueno/abi-dump' into 'master'
devel: move .abi files into a separate repository
See merge request gnutls/gnutls!1478
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" || : |