diff options
Diffstat (limited to 'sgi/boot.sh')
| -rwxr-xr-x | sgi/boot.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sgi/boot.sh b/sgi/boot.sh index fdbf9cc..d7fc06d 100755 --- a/sgi/boot.sh +++ b/sgi/boot.sh @@ -114,7 +114,7 @@ if [ "$MODEL_PID" == "0" ] ; then fi # wait for boot to complete and the model to be killed -parse_log_file "$PWD/$platform/$UART0_ARMTF_OUTPUT_FILE_NAME" "/ #" 7200 +parse_log_file "$PWD/$platform/$UART0_ARMTF_OUTPUT_FILE_NAME" "/ #" 300 ret=$? kill_model |