update build.source at upstream request to brand build as Debian's

diff --git a/debian/patches/debian-build.source.diff b/debian/patches/debian-build.source.diff
new file mode 100644 (file)
index 0000000..a9c5815
--- /dev/null
+++ b/debian/patches/debian-build.source.diff
@@ -0,0 +1,13 @@
+diff --git a/build.properties b/build.properties
+index 73ec3d0..e0cd5fa 100644
+--- a/build.properties
++++ b/build.properties
+@@ -8,7 +8,7 @@ build.version=1.0.0
+ # distribution (Debian, Fedora etc.), this should be changed appropriately!
+ # This is included in bug reports to identify the source of the software.
+ 
+-build.source=default
++build.source=Debian
+ 
+ 
+ # Whether checking for updates is enabled by default.

diff --git a/debian/patches/series b/debian/patches/series
index 90e3f12318f39f8965bbf86704f1eceb76d619ad..dd53df8fa4d462da87004a341aa17f2c2466ee90 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
+debian-build.source.diff
 openjdk-is-ok.diff
 use-system-libs.diff