Rev 92 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 92 | Rev 114 | ||
|---|---|---|---|
| Line 23... | Line 23... | ||
| 23 | # the debian-policy package |
23 | # the debian-policy package |
| 24 | 24 | ||
| 25 | case "$1" in |
25 | case "$1" in |
| 26 | remove|deconfigure) |
26 | remove|deconfigure) |
| 27 | update-alternatives --remove pike /usr/bin/${PIKEBIN}
|
27 | update-alternatives --remove pike /usr/bin/${PIKEBIN}
|
| 28 | find /usr/lib/$PIKEBIN/modules -name '*.o' -delete |
28 | find /usr/lib/$PIKEBIN -name '*.o' -delete |
| 29 | ;; |
29 | ;; |
| 30 | upgrade|failed-upgrade) |
30 | upgrade|failed-upgrade) |
| 31 | ;; |
31 | ;; |
| 32 | *) |
32 | *) |
| 33 | echo "prerm called with unknown argument \`$1'" >&2 |
33 | echo "prerm called with unknown argument \`$1'" >&2 |