[Javabdd-checkins] JavaBDD/org/sf/javabdd BuDDyFactory.java,1.34,1.35

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD/org/sf/javabdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv29936/org/sf/javabdd

Modified Files:
	BuDDyFactory.java 
Log Message:
Made it so that you can change buddy library name with a system property.

Index: BuDDyFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BuDDyFactory.java,v
retrieving revision 1.34
retrieving revision 1.35
diff -C2 -d -r1.34 -r1.35
*** BuDDyFactory.java	2 Aug 2004 20:20:53 -0000	1.34
--- BuDDyFactory.java	14 Sep 2004 23:53:30 -0000	1.35
***************
*** 43,47 ****
      
      static {
!         String libname = "buddy";
          try {
              System.loadLibrary(libname);
--- 43,47 ----
      
      static {
!         String libname = System.getProperty("buddylib", "buddy");
          try {
              System.loadLibrary(libname);