| 31,13 → 31,8 |
|---|
| LOCAL_DIRS="lib/pike${PIKE}/modules lib/pike${PIKE}/include" |
| |
| update_modules () { |
| find /usr/lib/$PIKEBIN/modules -name '*.o' | sed 's/.o$//' | |
| while read f; do |
| if [ ! -f $f ]; then |
| rm -f $f.o |
| fi |
| done |
| $PIKEBIN -x dump $@ --distquiet -r /usr/lib/$PIKEBIN/modules |
| find /usr/lib/$PIKEBIN/modules -name '*.o' -delete |
| $PIKEBIN -x dump --distquiet -r /usr/lib/$PIKEBIN/modules |
| } |
| |
| case "$1" in |
| 54,6 → 49,7 |
|---|
| done |
| |
| update_modules |
| $PIKEBIN -x dump --distquiet /usr/lib/$PIKEBIN/master.pike |
| ;; |
| |
| abort-upgrade|abort-remove|abort-deconfigure) |
| 61,7 → 57,7 |
|---|
| ;; |
| |
| triggered) |
| update_modules -u |
| update_modules |
| ;; |
| |
| *) |