diff options
| author | Rafael Laboissiere <rafael@debian.org> | 2018-05-07 08:20:46 -0300 |
|---|---|---|
| committer | Rafael Laboissiere <rafael@debian.org> | 2018-05-07 08:20:46 -0300 |
| commit | bd0919e2f9633e3152817565c3ca22fe580f45ab (patch) | |
| tree | 6984a1b532b28dd91cebb105ecf40a3d154a14b6 | |
| parent | f691e890206b4dc8c34e8eacf572f90fa5a40797 (diff) | |
d/s/options: Add src/Makefile to the extend-diff-ignore list
| -rw-r--r-- | debian/source/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/source/options b/debian/source/options index 55fcba7..fde7196 100644 --- a/debian/source/options +++ b/debian/source/options @@ -1 +1 @@ -extend-diff-ignore=inst/.*-api-v.*/|src/Makeconf|src/config\.log|src/config\.status|src/.*\.mod|.*\.oct|.*\.o +extend-diff-ignore=src/Makefile|inst/.*-api-v.*/|src/Makeconf|src/config\.log|src/config\.status|src/.*\.mod|.*\.oct|.*\.o |