David> Are you sure you ran "make compiler" AFTER the update and "make"?
David> i.e.  make distclean svn update ./configure && make && make
David> compiler

D*n, you are right.  I forgot. :-(

-- 
Ian Zimmerman
gpg public key: 1024D/C6FF61AD
fingerprint: 66DC D68F 5C1B 4D71 2EE5  BD03 8A00 786C C6FF 61AD
Rule 420: All persons more than eight miles high to leave the court.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to