diff options
| author |   Luca Boccassi <luca.boccassi@gmail.com> | 2017-11-29 22:03:37 +0000 |
|---|---|---|
| committer | Luca Boccassi <luca.boccassi@gmail.com> | 2017-11-29 22:04:40 +0000 |
| commit | 10d7a3708b9b1fcc78ea128d020180e47f632a14 (patch) | |
| tree | 35fd7ba36b5ea763bffccff3aaf006a76cd85a7b /debian/source | |
| parent | ad6b695575064728ed2a1beece214234737e7573 (diff) | |
Add maven_env.txt to dpkg diff ignore regex
Fixes Gerrit FD.io CI post-merge run failure
Change-Id: Idd7a73ac662c4cb0104bdd573f7c0d01e2f6e753
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'debian/source')
| -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 5fd30a10..23fcc113 100644 --- a/debian/source/options +++ b/debian/source/options @@ -1 +1 @@ -extend-diff-ignore = '(^|/)(\.gitreview|\.git)$' +extend-diff-ignore = '(^|/)(\.gitreview|\.git|maven_env.txt)$' |