filename | debian/prerm.ex |
changeset | 519:ef9a7f176401 |
author | nkeynes |
date | Wed Nov 05 10:05:08 2008 +0000 (15 years ago) |
permissions | -rw-r--r-- |
last change | Fix (extremely boneheaded) failure to convert pc to physical address before storing in the translation cache (in other words, the translation cache was effectively disabled for MMU code). MMU code is now about 3 times faster... |
view | annotate | diff | log | raw |
1 #!/bin/sh
2 # prerm script for lxdream
3 #
4 # see: dh_installdeb(1)
6 set -e
8 # summary of how this script can be called:
9 # * <prerm> `remove'
10 # * <old-prerm> `upgrade' <new-version>
11 # * <new-prerm> `failed-upgrade' <old-version>
12 # * <conflictor's-prerm> `remove' `in-favour' <package> <new-version>
13 # * <deconfigured's-prerm> `deconfigure' `in-favour'
14 # <package-being-installed> <version> `removing'
15 # <conflicting-package> <version>
16 # for details, see http://www.debian.org/doc/debian-policy/ or
17 # the debian-policy package
20 case "$1" in
21 remove|upgrade|deconfigure)
22 ;;
24 failed-upgrade)
25 ;;
27 *)
28 echo "prerm called with unknown argument \`$1'" >&2
29 exit 1
30 ;;
31 esac
33 # dh_installdeb will replace this with shell code automatically
34 # generated by other debhelper scripts.
36 #DEBHELPER#
38 exit 0
.