diff options
author | Paul Gevers <elbrus@debian.org> | 2015-11-05 10:03:26 +0100 |
---|---|---|
committer | Paul Gevers <elbrus@debian.org> | 2015-11-05 10:21:20 +0100 |
commit | 0afb82db27648176ad5d2dc9d9737106041f97c4 (patch) | |
tree | d5d6e05bdf06524661cd7baa4ba088923331b764 /debian/source | |
parent | 4c4f349e87f2f546e9f52d1cb4535e4f0d2a98b3 (diff) |
Set d/s/format to 1.0 but prevent dpkg-source from failing on .git tree
Diffstat (limited to 'debian/source')
-rw-r--r-- | debian/source/format | 1 | ||||
-rw-r--r-- | debian/source/options | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 0000000..d3827e7 --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +1.0 diff --git a/debian/source/options b/debian/source/options new file mode 100644 index 0000000..9b64263 --- /dev/null +++ b/debian/source/options @@ -0,0 +1,3 @@ +# Make sure that with source/format = 1.0 (nice with dgit) we don't fail on the +# .git direcotry +diff-ignore="\.git" |