Hello,

I just want to tell you that getting a fresh copy of patch-50 compiled fine on my Debian Sarge box.

BTW, this time I got a new copy of the tla archive, but would

make clean
tla update
./configure
make

be enough?

I am somehow missing a "distclean" target.
Or is the current "clean" target producing a directory content as it would be after a fresh checkout?

Ralf


_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to