diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/source/format | 1 | ||||
| -rw-r--r-- | debian/source/lintian-overrides | 3 | ||||
| -rw-r--r-- | debian/source/options | 1 |
3 files changed, 5 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 0000000..89ae9db --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (native) diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides new file mode 100644 index 0000000..19c6a2a --- /dev/null +++ b/debian/source/lintian-overrides @@ -0,0 +1,3 @@ +debootstrap source: debian-source-options-has-custom-compression-settings compression = gzip (line *) +debootstrap source: debian-rules-should-not-use-custom-compression-settings dh_builddeb -pdebootstrap * -- -Zgzip (line *) +debootstrap source: debian-rules-should-not-use-custom-compression-settings dh_builddeb -pdebootstrap-udeb -- -Zxz (line *) diff --git a/debian/source/options b/debian/source/options new file mode 100644 index 0000000..84d6093 --- /dev/null +++ b/debian/source/options @@ -0,0 +1 @@ +compression = gzip |