46    echo "exit status was $status"
  47    exit $status
  48  } #end of fail()
  49 
  50 #Call this from anywhere to pass the test with a message
  51 # usage: pass "reason why the test passed if applicable"
  52 pass()
  53  { echo "The test passed!!!"
  54    echo "$*" 1>&2
  55    exit 0
  56  } #end of pass()
  57 
  58 # end of subroutines
  59 
  60 
  61 # The beginning of the script proper
  62 
  63 # Checking for proper OS
  64 OS=`uname -s`
  65 case "$OS" in
  66    SunOS )
  67       VAR="One value for Sun"
  68       DEFAULT_JDK=/
  69       FILESEP="/"
  70       PATHSEP=":"
  71       TMP="/tmp"
  72       ;;
  73 
  74    Linux )
  75       VAR="A different value for Linux"
  76       DEFAULT_JDK=/
  77       FILESEP="/"
  78       PATHSEP=":"
  79       TMP="/tmp"
  80       ;;
  81 
  82    Darwin )
  83       VAR="A different value for MacOSX"
  84       DEFAULT_JDK=/usr
  85       FILESEP="/"
  86       PATHSEP=":"
  87       TMP="/tmp"
  88       ;;
  89 
  90    Windows* )
  91       VAR="A different value for Win32"
  92       DEFAULT_JDK="C:/Program Files/Java/jdk1.8.0"
  93       FILESEP="\\"

  46    echo "exit status was $status"
  47    exit $status
  48  } #end of fail()
  49 
  50 #Call this from anywhere to pass the test with a message
  51 # usage: pass "reason why the test passed if applicable"
  52 pass()
  53  { echo "The test passed!!!"
  54    echo "$*" 1>&2
  55    exit 0
  56  } #end of pass()
  57 
  58 # end of subroutines
  59 
  60 
  61 # The beginning of the script proper
  62 
  63 # Checking for proper OS
  64 OS=`uname -s`
  65 case "$OS" in








  66    Linux )
  67       VAR="A different value for Linux"
  68       DEFAULT_JDK=/
  69       FILESEP="/"
  70       PATHSEP=":"
  71       TMP="/tmp"
  72       ;;
  73 
  74    Darwin )
  75       VAR="A different value for MacOSX"
  76       DEFAULT_JDK=/usr
  77       FILESEP="/"
  78       PATHSEP=":"
  79       TMP="/tmp"
  80       ;;
  81 
  82    Windows* )
  83       VAR="A different value for Win32"
  84       DEFAULT_JDK="C:/Program Files/Java/jdk1.8.0"
  85       FILESEP="\\"