| 31,19 → 31,8 |
|---|
| LOCAL_DIRS="lib/pike${PIKE}/modules lib/pike${PIKE}/include" |
| |
| update_modules () { |
| # Unfortunately we more or less have to delete all .o files and |
| # redump everything, because although master.pike won't use a .o |
| # file that is older than its corresponding source, modules often |
| # contain compile-time conditionals like |
| # |
| # #if constant(Mysql.mysql) |
| # |
| # If the Mysql module is not installed, the code inside that |
| # conditional block will not be compiled, and the referring module |
| # won't be detected as out-of-date if the Mysql module is later |
| # installed. |
| find /usr/lib/$PIKEBIN -name '*.o' -delete |
| $PIKEBIN -x dump --distquiet -r /usr/lib/$PIKEBIN |
| find /usr/lib/$PIKEBIN/modules -name '*.o' -delete |
| $PIKEBIN -x dump --distquiet -r /usr/lib/$PIKEBIN/modules |
| } |
| |
| case "$1" in |
| 59,6 → 48,7 |
|---|
| fi |
| done |
| |
| $PIKEBIN -x dump --distquiet /usr/lib/$PIKEBIN/master.pike |
| update_modules |
| ;; |
| |