diff options
author | Igor Pashev <pashev.igor@gmail.com> | 2019-11-19 17:35:47 +0300 |
---|---|---|
committer | Igor Pashev <pashev.igor@gmail.com> | 2019-11-19 17:35:47 +0300 |
commit | 03bebac19e6fef19299d7326d3ee41f8a7dd1316 (patch) | |
tree | bb413d22ada331790f08b7b9a592e5ab95cd8918 /debian/gcj-BV-jre-headless.prerm | |
parent | 94a19f31b81e9e7e295414fe2ad2302e0db25a08 (diff) | |
parent | 8f6c4b0033c72f8ac14694c419a99458339dd6a9 (diff) | |
download | gcc-9-03bebac19e6fef19299d7326d3ee41f8a7dd1316.tar.gz |
Merge tag 'debian/9.2.1-19'
Diffstat (limited to 'debian/gcj-BV-jre-headless.prerm')
-rw-r--r-- | debian/gcj-BV-jre-headless.prerm | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/debian/gcj-BV-jre-headless.prerm b/debian/gcj-BV-jre-headless.prerm deleted file mode 100644 index 1d66dc3..0000000 --- a/debian/gcj-BV-jre-headless.prerm +++ /dev/null @@ -1,13 +0,0 @@ -#! /bin/sh -e - -if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then - update-alternatives --quiet --remove java /usr/bin/gij-@BV@ - update-alternatives --quiet --remove rmiregistry /usr/bin/grmiregistry-@BV@ - update-alternatives --quiet --remove keytool /usr/bin/gkeytool-@BV@ - update-alternatives --quiet --remove orbd /usr/bin/gorbd-@BV@ - update-alternatives --quiet --remove rmid /usr/bin/grmid-@BV@ -fi - -#DEBHELPER# - -exit 0 |