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