Rev 91 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 91 | Rev 92 | ||
|---|---|---|---|
| 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 | ;; |
29 | ;; |
| 29 | upgrade|failed-upgrade) |
30 | upgrade|failed-upgrade) |
| 30 | ;; |
31 | ;; |
| 31 | *) |
32 | *) |
| 32 | echo "prerm called with unknown argument \`$1'" >&2 |
33 | echo "prerm called with unknown argument \`$1'" >&2 |