76     only projects in a specific sandbox.
  77 
  78     With that in mind, please set the following properties. Presuming you
  79     want the same values for all your work, set them in
  80     $HOME/.openjdk/build.properties.
  81 
  82     * bootstrap.jdk
  83         Set to the location where you installed JDK 7.
  84 
  85     * jtreg.home
  86         Set to the location where you installed jtreg.
  87 
  88     * make.options
  89         Some of the projects invoke "make", since they compile native code.
  90         The make.options property is for passing information about what you
  91         installed where to make.  Change the paths to fit your particular
  92         situation:
  93 
  94         make.options=\
  95             ALT_BOOTDIR=/home/me/bin/jdk1.6.0 \
  96             ALT_BINARY_PLUGS_PATH=/home/me/bin/openjdk-binary-plugs \
  97             ALT_JDK_IMPORT_PATH=/home/me/bin/jdk1.7.0 \
  98             OPENJDK=true
  99 
 100         The trailing '\' are important, so that make gets the above as a
 101         single set of options.
 102 
 103         You might want to add additional additional options: see the README
 104         for the project you're using for more information.  And see
 105                  *install-dir*/jdk/make/README-builds.html
 106         to read much more about building the JDK.
 107 
 108   Windows-specific configuration
 109     First, please note that the entire JDK cannot currently be built on
 110     Windows platforms.  This will likely limit your ability to build
 111     make-based projects.  See 
 112          *install-dir*/jdk/make/README-builds.html
 113     for full information on issues with building on the Windows platform.
 114 
 115     That said, there are two ways to work with the Windows-required settings
 116     for the Microsoft tools. Either:

  76     only projects in a specific sandbox.
  77 
  78     With that in mind, please set the following properties. Presuming you
  79     want the same values for all your work, set them in
  80     $HOME/.openjdk/build.properties.
  81 
  82     * bootstrap.jdk
  83         Set to the location where you installed JDK 7.
  84 
  85     * jtreg.home
  86         Set to the location where you installed jtreg.
  87 
  88     * make.options
  89         Some of the projects invoke "make", since they compile native code.
  90         The make.options property is for passing information about what you
  91         installed where to make.  Change the paths to fit your particular
  92         situation:
  93 
  94         make.options=\
  95             ALT_BOOTDIR=/home/me/bin/jdk1.6.0 \

  96             ALT_JDK_IMPORT_PATH=/home/me/bin/jdk1.7.0 \
  97             OPENJDK=true
  98 
  99         The trailing '\' are important, so that make gets the above as a
 100         single set of options.
 101 
 102         You might want to add additional additional options: see the README
 103         for the project you're using for more information.  And see
 104                  *install-dir*/jdk/make/README-builds.html
 105         to read much more about building the JDK.
 106 
 107   Windows-specific configuration
 108     First, please note that the entire JDK cannot currently be built on
 109     Windows platforms.  This will likely limit your ability to build
 110     make-based projects.  See 
 111          *install-dir*/jdk/make/README-builds.html
 112     for full information on issues with building on the Windows platform.
 113 
 114     That said, there are two ways to work with the Windows-required settings
 115     for the Microsoft tools. Either: