[Javapathfinder-svn] SF.net SVN: javapathfinder:[1075] trunk

[<pcm...@us...>]

Revision: 1075
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1075&view=rev
Author:   pcmehlitz
Date:     2008-11-22 02:45:39 +0000 (Sat, 22 Nov 2008)

Log Message:
-----------
* added a "jpf.report.show_repository" property (which is 'false' by default) for debugging purposes. If it is set, and JPF is built from an SVN checkout, the reporter tries to locate the "{jpf.basedir}/.svn/entries" file, and pulls the revision, DTG and repository location out of it. The whole shebang is reported in the JPF banner

This is mostly to verify what versions where used for bug reports

Modified Paths:
--------------
    trunk/default.properties
    trunk/src/gov/nasa/jpf/report/ConsolePublisher.java
    trunk/src/gov/nasa/jpf/report/Reporter.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.