Hi, On Thu, Apr 06, 2006 at 07:58:54PM +0200, Frederic Lehobey wrote:
> dependencies and cleaned the build only once). To be sure of it I > have started a new round: > > $ make clean > $ make > > Is that enough or are there special files I have to remove by hand > first? Problem still occurs. I will try later another new build from scratch (directory wiped). Thanks, Frederic _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer