From caa5d32ff564ff330dca1adaf0a7a7d5d531a5d9 Mon Sep 17 00:00:00 2001 From: Bdale Garbee Date: Tue, 23 Mar 2010 16:59:46 -0600 Subject: [PATCH] update build.source at upstream request to brand build as Debian's --- debian/patches/debian-build.source.diff | 13 +++++++++++++ debian/patches/series | 1 + 2 files changed, 14 insertions(+) create mode 100644 debian/patches/debian-build.source.diff 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 -- 2.47.2