31,8 → 31,19 |
LOCAL_DIRS="lib/pike${PIKE}/modules lib/pike${PIKE}/include" |
|
update_modules () { |
find /usr/lib/$PIKEBIN/modules -name '*.o' -delete |
$PIKEBIN -x dump --distquiet -r /usr/lib/$PIKEBIN/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 |
} |
|
case "$1" in |
48,7 → 59,6 |
fi |
done |
|
$PIKEBIN -x dump --distquiet /usr/lib/$PIKEBIN/master.pike |
update_modules |
;; |
|