796:b1e9396fb8af | 797:69da99676239 |
---|---|
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 |