From 8cf7e65059a6c4bc597b42a135b9604b579ecd9c Mon Sep 17 00:00:00 2001 From: Bdale Garbee Date: Sat, 13 Mar 2010 22:12:20 -0700 Subject: [PATCH] clip out the OpenJDK test and whine in the startup --- debian/changelog | 3 ++- debian/patches/openjdk-is-ok.diff | 14 ++++++++++++++ debian/patches/series | 1 + debian/source/format | 1 + 4 files changed, 18 insertions(+), 1 deletion(-) create mode 100644 debian/patches/openjdk-is-ok.diff create mode 100644 debian/patches/series create mode 100644 debian/source/format diff --git a/debian/changelog b/debian/changelog index 70482b92..dadd3e63 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,5 +1,6 @@ openrocket (1.0.0-1) unstable; urgency=low * initial packaging for Debian + * patch startup to remove the whining about OpenJDK - -- Bdale Garbee Sat, 13 Mar 2010 15:25:12 -0700 + -- Bdale Garbee Sat, 13 Mar 2010 22:12:12 -0700 diff --git a/debian/patches/openjdk-is-ok.diff b/debian/patches/openjdk-is-ok.diff new file mode 100644 index 00000000..3500965b --- /dev/null +++ b/debian/patches/openjdk-is-ok.diff @@ -0,0 +1,14 @@ +diff --git a/src/net/sf/openrocket/startup/Startup.java b/src/net/sf/openrocket/startup/Startup.java +index 0439185..3e7a71a 100644 +--- a/src/net/sf/openrocket/startup/Startup.java ++++ b/src/net/sf/openrocket/startup/Startup.java +@@ -29,7 +29,8 @@ public class Startup { + + checkVersion(); + checkHead(); +- checkOpenJDK(); ++ // seems to work to me .. let's not hassle users .. Bdale ++ // checkOpenJDK(); + + // Load and execute START_CLASS + try { diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 00000000..a23bfdd9 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +openjdk-is-ok.diff diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 00000000..163aaf8d --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) -- 2.30.2