don't stop make process if we can't execute compiled executables (allow
authorkramm <kramm>
Mon, 20 Sep 2004 16:18:33 +0000 (16:18 +0000)
committerkramm <kramm>
Mon, 20 Sep 2004 16:18:33 +0000 (16:18 +0000)
cross-compiling).


No differences found