*** old/make/build.sh	Tue Sep  1 16:32:26 2015
--- new/make/build.sh	Tue Sep  1 16:32:25 2015

*** 47,57 ****
--- 47,57 ----
  fi
  
  # Just in case:
  JAVA_HOME=`( cd $JAVA_HOME; pwd )`
  
- if [ "${ALT_BOOTDIR-}" = ""  -o  ! -d "${ALT_BOOTDIR-}" -o ! -d ${ALT_BOOTDIR-}/jre/lib/ ]; then
      ALT_BOOTDIR=${JAVA_HOME}
  fi
  
  # build in current directory by default
  if [ "${ALT_OUTPUTDIR-}" = ""  -o  ! -d "${ALT_OUTPUTDIR-}" ]; then