equal
deleted
inserted
replaced
100 FILESEP="/" |
100 FILESEP="/" |
101 PATHSEP=";" |
101 PATHSEP=";" |
102 TMP=`cd "${SystemRoot}/Temp"; echo ${PWD}` |
102 TMP=`cd "${SystemRoot}/Temp"; echo ${PWD}` |
103 ;; |
103 ;; |
104 |
104 |
|
105 AIX ) |
|
106 VAR="A different value for AIX" |
|
107 DEFAULT_JDK=/ |
|
108 FILESEP="/" |
|
109 PATHSEP=":" |
|
110 TMP="/tmp" |
|
111 ;; |
|
112 |
105 # catch all other OSs |
113 # catch all other OSs |
106 * ) |
114 * ) |
107 echo "Unrecognized system! $OS" |
115 echo "Unrecognized system! $OS" |
108 fail "Unrecognized system! $OS" |
116 fail "Unrecognized system! $OS" |
109 ;; |
117 ;; |