diff options
| -rw-r--r-- | qemu_mode/QEMUAFL_VERSION | 2 | ||||
| m--------- | qemu_mode/qemuafl | 0 | ||||
| -rwxr-xr-x | qemu_mode/update_ref.sh | 1 |
3 files changed, 2 insertions, 1 deletions
diff --git a/qemu_mode/QEMUAFL_VERSION b/qemu_mode/QEMUAFL_VERSION index 61bdc9de..ea56b640 100644 --- a/qemu_mode/QEMUAFL_VERSION +++ b/qemu_mode/QEMUAFL_VERSION @@ -1 +1 @@ -6fe0b5711d +eee265a3df diff --git a/qemu_mode/qemuafl b/qemu_mode/qemuafl -Subproject 6fe0b5711d78b40f8ec3151039bdf5609d2cf49 +Subproject eee265a3df4b3c1acaca2873d1b28f0bd8837da diff --git a/qemu_mode/update_ref.sh b/qemu_mode/update_ref.sh index 53c004ec..13be376f 100755 --- a/qemu_mode/update_ref.sh +++ b/qemu_mode/update_ref.sh @@ -25,6 +25,7 @@ git fetch origin master 1>/dev/null || exit 1 git stash 1>/dev/null 2>/dev/null git stash drop 1>/dev/null 2>/dev/null git checkout master +git pull origin master 1>/dev/null || exit 1 if [ -z "$NEW_VERSION" ]; then # No version provided, take HEAD. |