On Tue, 12 Apr 2005, Hans-Christoph Steiner wrote:
sure ... on the other hand, it's currently failing to compile some externals ;-)
(in "externals/build/PLATFORM") rm failed_external.c ../src/failed_external.c make
The easiest way to get the same result is to just do make -k
Guenter