problem compiling pkg/crtx

Adam Lackorzynski adam at
Wed Jul 20 13:17:12 CEST 2005

On Tue Jul 19, 2005 at 18:55:12 -0500, Jayesh Salvi wrote:
> > Are you still using FC3? Which make version is running there?
> > Does it maybe work when copying the crt0_x.S file to the crtx/lib/src
> > directory?
> > 
> Hey copying the .S to crtx/lib/src worked. Thanks a lot.

Ok, good. One could now suspect that the vpath thing isn't quite working
somehow. If you have some free time maybe play around with this and see
if the behaviour changes in some way.
> If you mean Fedora Core 3 by FC3 then that's what i have. My make is
> GNU make 3.80.

Same make version here and here it works...

Adam                 adam at

More information about the l4-hackers mailing list