It's silly to remove the dump_modules target because of this; it's enough to remove its use from the documentation target.
/.../ I haven's seen any problems with the dumping that make install does).
What has been seen and not accounts for nothing in this case since the there are bugs on a lower level which apparently are worked around in totally ad-hoc ways without any knowledge about exactly where and why it breaks. The only way to make such a kludge reliable is to make it deterministic in every possible way.
/ Martin Stjernholm, Roxen IS
Previous text:
2002-11-26 16:48: Subject: Image.SSL?
That won't affect the dump order for the dump_modules target since it doesn't use install.pike.
No, but that's ok since we can simply remove the dump_modules target.
Anyway, dumping by make documentation should be disabled unless that dumping also can be made to work deterministically.
Currently this applies to dumping during installation too.
That was what the sort in install.pike was supposed to fix (if there indeed _is_ anything to fix there, I haven's seen any problems with the dumping that make install does).
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)