X-Git-Url: http://git.kpe.io/?p=rt.git;a=blobdiff_plain;f=debian%2Fprerm;fp=debian%2Fprerm;h=0000000000000000000000000000000000000000;hp=ce60e28fb903faacd598b441ef0343454b2e0353;hb=fa11ae57426f002bd61a458ff3f5997112266f11;hpb=2a18cdd52aa3da52e1010aae854d1866f92c483a diff --git a/debian/prerm b/debian/prerm deleted file mode 100755 index ce60e28..0000000 --- a/debian/prerm +++ /dev/null @@ -1,42 +0,0 @@ -#! /bin/sh -# prerm script for cl-rt -# -# see: dh_installdeb(1) - -set -e - -# package name according to lisp -LISP_PKG=rt - -# summary of how this script can be called: -# * `remove' -# * `upgrade' -# * `failed-upgrade' -# * `remove' `in-favour' -# * `deconfigure' `in-favour' -# `removing' -# -# for details, see http://www.debian.org/doc/debian-policy/ or -# the debian-policy package - - -case "$1" in - remove|upgrade|deconfigure) - /usr/sbin/unregister-common-lisp-source ${LISP_PKG} - ;; - failed-upgrade) - ;; - *) - echo "prerm called with unknown argument \`$1'" >&2 - exit 1 - ;; -esac - -# dh_installdeb will replace this with shell code automatically -# generated by other debhelper scripts. - -#DEBHELPER# - -exit 0 - -