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

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

Revision: 1258
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1258&view=rev
Author:   pcmehlitz
Date:     2009-03-06 23:29:20 +0000 (Fri, 06 Mar 2009)

Log Message:
-----------
* reverted the Source fix that checked for non-existing default vm.sourcedirs, and turned the log warning into an info. Come to think of it, there is no difference between non-existing hardwired and configured dirs, and it would be very misleading to depend on warnings that only cover the first case

* added a build-tools/bin/build-svn-snapshot bash script, o that we finally can have Sourceforge file snapshots on a more regular basis

* changed bin/jpf so that *.class files always have precedence over lib/*.jars (which are used in the binary release)

Modified Paths:
--------------
    trunk/bin/jpf
    trunk/src/gov/nasa/jpf/util/Source.java

Added Paths:
-----------
    trunk/build-tools/bin/build-svn-snapshot


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