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 23:29:37 +0000 |
| commit | d4b96cbab652e4c111a78e5723de8e10aa9f949c (patch) | |
| tree | 3392a8fe8f1c59b6cf3e7354ea862c676b7afe6c | |
| parent | 0b3c71a43ac758ffb8e9293447c3c2e4e9317f4f (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>
(cherry picked from commit 10d7a3708b9b1fcc78ea128d020180e47f632a14)
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
| -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)$' |