diff options
| author | David Carlier <dcarlier@afilias.info> | 2019-11-07 11:52:04 +0000 |
|---|---|---|
| committer | David Carlier <dcarlier@afilias.info> | 2019-11-07 11:52:04 +0000 |
| commit | b92da08ae8cbe8795e39c981525548bca0ce5607 (patch) | |
| tree | e4c9600935c77e590f62af969da6cce4ccba3179 /qemu_mode/build_qemu_support.sh | |
| parent | 7b82ef22bea26b7f867cff21de2866b74f4f9dc1 (diff) | |
| parent | 499f078c3759a22dd5cfd81d2271969f19b75090 (diff) | |
| download | afl++-b92da08ae8cbe8795e39c981525548bca0ce5607.tar.gz | |
Taking in account last changes
Diffstat (limited to 'qemu_mode/build_qemu_support.sh')
| -rwxr-xr-x | qemu_mode/build_qemu_support.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/qemu_mode/build_qemu_support.sh b/qemu_mode/build_qemu_support.sh index 6b9f91f9..c3983aa1 100755 --- a/qemu_mode/build_qemu_support.sh +++ b/qemu_mode/build_qemu_support.sh @@ -100,7 +100,10 @@ if [ ! "$CKSUM" = "$QEMU_SHA384" ]; then echo "[*] Downloading QEMU ${VERSION} from the web..." rm -f "$ARCHIVE" - wget -O "$ARCHIVE" -- "$QEMU_URL" || exit 1 + OK= + while [ -z "$OK" ]; do + wget -c -O "$ARCHIVE" -- "$QEMU_URL" && OK=1 + done CKSUM=`sha384sum -- "$ARCHIVE" 2>/dev/null | cut -d' ' -f1` |