/usr/src/gcc-4.7/debian/gcj-BV-jre-headless.postinst is in gcc-4.7-source 4.7.3-12ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 | #! /bin/sh -e
prio=@java_priority@
update-alternatives --quiet \
--install /usr/bin/java java /usr/bin/gij-@BV@ $prio \
@GFDL@--slave /usr/share/man/man1/java.1.gz java.1.gz /usr/share/man/man1/gij-@BV@.1.gz
update-alternatives --quiet \
--install /usr/bin/rmiregistry rmiregistry /usr/bin/grmiregistry-@BV@ $prio \
--slave /usr/share/man/man1/rmiregistry.1.gz rmiregistry.1.gz /usr/share/man/man1/grmiregistry-@BV@.1.gz
update-alternatives --quiet \
--install /usr/bin/keytool keytool /usr/bin/gkeytool-@BV@ $prio \
--slave /usr/share/man/man1/keytool.1.gz keytool.1.gz /usr/share/man/man1/gkeytool-@BV@.1.gz
update-alternatives --quiet \
--install /usr/bin/orbd orbd /usr/bin/gorbd-@BV@ $prio \
--slave /usr/share/man/man1/orbd.1.gz orbd.1.gz /usr/share/man/man1/gorbd-@BV@.1.gz
update-alternatives --quiet \
--install /usr/bin/rmid rmid /usr/bin/grmid-@BV@ $prio \
--slave /usr/share/man/man1/rmid.1.gz rmid.1.gz /usr/share/man/man1/grmid-@BV@.1.gz
case "$1" in
configure)
if [ ! -f /var/lib/gcj-@BV@/classmap.db ]; then
uname=$(uname -m)
mkdir -p /var/lib/gcj-@BV@
if gcj-dbtool-@BV@ -n /var/lib/gcj-@BV@/classmap.db; then
case "$uname" in arm*|m68k|parisc*)
echo >&2 "gcj-dbtool succeeded unexpectedly"
esac
else
case "$uname" in
arm*|m68k|parisc*)
echo >&2 "ERROR: gcj-dbtool did fail; known problem on $uname";;
*)
exit 2
esac
touch /var/lib/gcj-@BV@/classmap.db
fi
fi
esac
#DEBHELPER#
exit 0
|