| changeset 19759 | 9d0666acc5af |
| parent 14111 | 2a82ecb35fc7 |
| child 20363 | fa7663fc5d50 |
| 19758:3e519fa7e632 | 19759:9d0666acc5af |
|---|---|
217 fi |
217 fi |
218 else |
218 else |
219 echo configure exiting with result code $conf_result_code |
219 echo configure exiting with result code $conf_result_code |
220 fi |
220 fi |
221 |
221 |
222 # Move the log file to the output root, if this was successfully created |
|
223 if test -d "$OUTPUT_ROOT"; then |
|
224 mv -f config.log "$OUTPUT_ROOT" 2> /dev/null |
|
225 fi |
|
226 |
|
227 exit $conf_result_code |
222 exit $conf_result_code |