Hi H-P > Executive summary: native, sim and board tests say it's fine; at > least no worse than dejagnu-1.4.4; somewhat better. Ship it! ;)
Thanks a lot for doing all of this work; you have saved me a lot of effort. We will probably start the dejagnu-1.5 release soon. > A "git show" says the my latest update is, and verified with > <http://git.savannah.gnu.org/gitweb/?p=dejagnu.git;a=shortlog;h=master> > to be the official latest commit (how do I check this using git?): Typing 'git log' will give you a commit history, newest at the top. You might also like to consider installing "gitk", which is a Tcl/Tk browser for git. It's very useful! Cheers, Ben _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org http://lists.gnu.org/mailman/listinfo/dejagnu
