diff options
author | Dirk Mueller <dmueller@suse.com> | 2013-02-12 11:10:14 +0100 |
---|---|---|
committer | Dirk Mueller <dmueller@suse.com> | 2013-02-12 11:10:14 +0100 |
commit | 5619762d4ada2ecaf17d42ef2af071da0054271c (patch) | |
tree | a41648c907d06471d6bc95d6103d9426b43cbd29 /emulator/emulator.sh | |
parent | b35917044b00dd447c913f6c44c2f95fd161f126 (diff) |
Fix race when the emulator starts slowly
Diffstat (limited to 'emulator/emulator.sh')
-rwxr-xr-x | emulator/emulator.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/emulator/emulator.sh b/emulator/emulator.sh index 34b8241..7bbb595 100755 --- a/emulator/emulator.sh +++ b/emulator/emulator.sh @@ -12,7 +12,7 @@ LOG=$(mktemp) ./Foundation_v8 --image ./img-foundation.axf \ --block-device "$1" \ --network=none &> $LOG & -while test $(grep -c terminal_0: $LOG ) -lt 1; do +while test 0$(grep -c terminal_0: $LOG ) -lt 1; do echo ".." sleep 1 done |