diff options
author | Xavier Roche <xroche@users.noreply.github.com> | 2013-06-08 21:50:07 +0000 |
---|---|---|
committer | Xavier Roche <xroche@users.noreply.github.com> | 2013-06-08 21:50:07 +0000 |
commit | 04288d28c6dd2e8fd9390bfe52a66acc9fac36b2 (patch) | |
tree | 7deeb87250213f6b17fdeb18f8c370fe1c67c050 | |
parent | 4c1238e47269db76578af3a533b6f3e232702190 (diff) |
Exclude test-driver
-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 a0e3a0a..3915068 100644 --- a/debian/source/options +++ b/debian/source/options @@ -1 +1 @@ -extend-diff-ignore="(^|/)(config\.sub|config\.guess|Makefile)$" +extend-diff-ignore="(^|/)(config\.sub|config\.guess|test-driver|Makefile)$" |