logdate=`date '+%d-%m-%y'`
echo "validation of Le-Lisp. Logs to log/lls.$logdate, log/llm.$logdate, log/cmplc.$logdate"
(cd .. ; make letestextbin)
lelisps.rec > log/lls.$logdate 2> log/lls.err
lelisp.rec > log/llm.$logdate 2> log/llm.err
cmplc.rec > log/cmplc.$logdate 2> log/cmplc.err