Hi Haegar,
The patch required is actually pretty straightforward:
--- /usr/share/java-package/javase.sh 2016-09-11 02:39:56.000000000 +0200
+++ /tmp/jpkg/javase.sh 2017-12-18 14:51:57.412419588 +0100
@@ -259,11 +259,17 @@
local deb_filename="$( echo "${j2se_package}_"*.deb )"
echo " copy $deb_filename into directory $working_dir/"
cp "$deb_filename" "$working_dir/"
+ local dbgsym_filename="$( echo "${j2se_package}-dbgsym_"*.deb )"
+ echo " copy $dbgsym_filename into directory $working_dir/"
+ cp "$dbgsym_filename" "$working_dir/"
if [ -n "$genchanges" ]; then
echo " dpkg-genchanges"
local changes_filename="${deb_filename%.deb}.changes"
echo " copy $changes_filename into directory $working_dir/"
cp "$changes_filename" "$working_dir/"
+ local buildinfo_filename="$( echo "${j2se_package}_"*.buildinfo )"
+ echo " copy $buildinfo_filename into directory $working_dir/"
+ cp "$buildinfo_filename" "$working_dir/"
fi
cat << EOF
--(snip)--
Probably someone(TM) should verify that the dpkg/debhelper/etc. version
actually is new enough to generate these files (or just make the copy
optional). In case the versions do match, this seems to work for me.
Best,
Kilian
