User: gropi   
  Date: 01/04/09 12:23:14

  Modified:    src/build build.sh build.bat
  Log:
  increased heap-size, needed for compiling pdf
  
  Revision  Changes    Path
  1.3       +2 -3      manual/src/build/build.sh
  
  Index: build.sh
  ===================================================================
  RCS file: /cvsroot/jboss/manual/src/build/build.sh,v
  retrieving revision 1.2
  retrieving revision 1.3
  diff -u -r1.2 -r1.3
  --- build.sh  2001/03/08 23:57:27     1.2
  +++ build.sh  2001/04/09 19:23:14     1.3
  @@ -1,6 +1,6 @@
   #! /bin/sh
    
  -# $Id: build.sh,v 1.2 2001/03/08 23:57:27 vladimir Exp $
  +# $Id: build.sh,v 1.3 2001/04/09 19:23:14 gropi Exp $
     
   TARGET_CLASSPATH=../../lib/ant.jar:\
   ../../lib/optional.jar:\
  @@ -21,5 +21,4 @@
      echo "Error: The JAVA_HOME environment variable is not set."
   fi
               
  -java -classpath $TARGET_CLASSPATH -Djboss.home=$JBOSS_HOME 
org.apache.tools.ant.Main $*
  -
  +java -Xmx100000000 -classpath $TARGET_CLASSPATH -Djboss.home=$JBOSS_HOME 
org.apache.tools.ant.Main $*
  
  
  
  1.3       +1 -1      manual/src/build/build.bat
  
  Index: build.bat
  ===================================================================
  RCS file: /cvsroot/jboss/manual/src/build/build.bat,v
  retrieving revision 1.2
  retrieving revision 1.3
  diff -u -r1.2 -r1.3
  --- build.bat 2001/03/08 23:57:27     1.2
  +++ build.bat 2001/04/09 19:23:14     1.3
  @@ -19,7 +19,7 @@
   set _CP_=%_CP_%;..\..\lib\w3c.jar
   set _CP_=%_CP_%;..\..\lib
   
  -%JAVA_HOME%\bin\java.exe -classpath "%JAVA_HOME%\lib\tools.jar;%_CP_%;%CLASSPATH%" 
-Djboss.home=%JBOSS_HOME% org.apache.tools.ant.Main %1 %2 %3 %4 %5
  +%JAVA_HOME%\bin\java.exe -Xmx100000000 -classpath 
"%JAVA_HOME%\lib\tools.jar;%_CP_%;%CLASSPATH%" -Djboss.home=%JBOSS_HOME% 
org.apache.tools.ant.Main %1 %2 %3 %4 %5
   
   
   :cleanup
  
  
  

_______________________________________________
Jboss-development mailing list
[EMAIL PROTECTED]
http://lists.sourceforge.net/lists/listinfo/jboss-development

Reply via email to