>> Why can't we link with libgcc, instead? > > we possibly could, the problem is knowing the path of libgcc to link > with. gcc -print-libgcc-file-name > This seemed easier to me than the makefile headaches to ensure that > we get that right. Ah come on, make syntax is fun! Segher