Matt Rogers wrote, on Sunday 2007 May 13: > does "make -i install" work for that? It may not, but I can't remember. I tried make -k -i install and even that didn't work. Charles