From: Bdale Garbee Date: Tue, 23 Mar 2010 22:59:46 +0000 (-0600) Subject: update build.source at upstream request to brand build as Debian's X-Git-Tag: debian/1.0.0-2~1 X-Git-Url: https://git.gag.com/?a=commitdiff_plain;h=caa5d32ff564ff330dca1adaf0a7a7d5d531a5d9;p=debian%2Fopenrocket 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 index 00000000..a9c5815e --- /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 90e3f123..dd53df8f 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,2 +1,3 @@ +debian-build.source.diff openjdk-is-ok.diff use-system-libs.diff