Rev 90 | Rev 94 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 90 | Rev 92 | ||
---|---|---|---|
Line 29... | Line 29... | ||
29 | # installation fails and the `postinst' is called with `abort-upgrade', |
29 | # installation fails and the `postinst' is called with `abort-upgrade', |
30 | # `abort-remove' or `abort-deconfigure'. |
30 | # `abort-remove' or `abort-deconfigure'. |
31 | LOCAL_DIRS="lib/pike${PIKE}/modules lib/pike${PIKE}/include" |
31 | LOCAL_DIRS="lib/pike${PIKE}/modules lib/pike${PIKE}/include" |
32 | 32 | ||
33 | update_modules () { |
33 | update_modules () { |
34 | $PIKEBIN -x dump $@ -q -r /usr/lib/$PIKEBIN/modules |
34 | $PIKEBIN -x dump $@ --distquiet -r /usr/lib/$PIKEBIN/modules |
35 | find /usr/lib/$PIKEBIN/modules -name '*.o' | sed 's/.o$//' | |
35 | find /usr/lib/$PIKEBIN/modules -name '*.o' | sed 's/.o$//' | |
36 | while read f; do |
36 | while read f; do |
37 | if [ ! -f $f ]; then |
37 | if [ ! -f $f ]; then |
38 | rm -f $f.o |
38 | rm -f $f.o |
39 | fi |
39 | fi |