Francois Suter said:
> Also I am not very familiar with make. It seems like it caches the
> results of previous makes, because most things are not "re-made". I
> have checked the man page, but couldn't find an option to tell make to
> really start from the ground up again. Is there any way of doing this
> or is it meaningless anyway?
Try
make clean
this should clear the previously compiled stuff away.
John Sidney-Woollett