Rev 92 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 92 | Rev 94 | ||
|---|---|---|---|
| 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 $@ --distquiet -r /usr/lib/$PIKEBIN/modules |
- | |
| 35 | find /usr/lib/$PIKEBIN/modules -name '*.o' | sed 's/.o$//' | |
34 | find /usr/lib/$PIKEBIN/modules -name '*.o' | sed 's/.o$//' | |
| 36 | while read f; do |
35 | while read f; do |
| 37 | if [ ! -f $f ]; then |
36 | if [ ! -f $f ]; then |
| 38 | rm -f $f.o |
37 | rm -f $f.o |
| 39 | fi |
38 | fi |
| 40 | done |
39 | done |
| - | 40 | $PIKEBIN -x dump $@ --distquiet -r /usr/lib/$PIKEBIN/modules |
|
| 41 | } |
41 | } |
| 42 | 42 | ||
| 43 | case "$1" in |
43 | case "$1" in |
| 44 | configure) |
44 | configure) |
| 45 | update-alternatives --install /usr/bin/pike pike /usr/bin/${PIKEBIN} 12 \
|
45 | update-alternatives --install /usr/bin/pike pike /usr/bin/${PIKEBIN} 12 \
|