| /trunk/debian/pike7.8-core.prerm |
|---|
| 25,7 → 25,6 |
| case "$1" in |
| remove|deconfigure) |
| update-alternatives --remove pike /usr/bin/${PIKEBIN} |
| find /usr/lib/$PIKEBIN/modules -name '*.o' -delete |
| ;; |
| upgrade|failed-upgrade) |
| ;; |
| /trunk/debian/pike7.8-core.postinst |
|---|
| 31,7 → 31,7 |
| LOCAL_DIRS="lib/pike${PIKE}/modules lib/pike${PIKE}/include" |
| update_modules () { |
| $PIKEBIN -x dump $@ --distquiet -r /usr/lib/$PIKEBIN/modules |
| $PIKEBIN -x dump $@ -q -r /usr/lib/$PIKEBIN/modules |
| find /usr/lib/$PIKEBIN/modules -name '*.o' | sed 's/.o$//' | |
| while read f; do |
| if [ ! -f $f ]; then |