Is it very important to use a "make distclean" after a "git pull"? It depends on the changes made to the newly pulled code, I guess. Mats -- Mats Peterson http://matsp888.no-ip.org/~mats/