From 0ffef8c79d1e03ede8641eef21990f17335c08c1 Mon Sep 17 00:00:00 2001
From: Dominik Maier <domenukk@gmail.com>
Date: Mon, 20 Apr 2020 23:11:11 +0200
Subject: script to update uc refs; new unicornafl version

---
 unicorn_mode/UNICORNAFL_VERSION |  2 +-
 unicorn_mode/unicornafl         |  2 +-
 unicorn_mode/update_uc_ref.sh   | 25 +++++++++++++++++++++++++
 3 files changed, 27 insertions(+), 2 deletions(-)
 create mode 100755 unicorn_mode/update_uc_ref.sh

diff --git a/unicorn_mode/UNICORNAFL_VERSION b/unicorn_mode/UNICORNAFL_VERSION
index 5b152135..cb597068 100644
--- a/unicorn_mode/UNICORNAFL_VERSION
+++ b/unicorn_mode/UNICORNAFL_VERSION
@@ -1 +1 @@
-4325c8f
+d51753b2
diff --git a/unicorn_mode/unicornafl b/unicorn_mode/unicornafl
index 4325c8fd..d51753b2 160000
--- a/unicorn_mode/unicornafl
+++ b/unicorn_mode/unicornafl
@@ -1 +1 @@
-Subproject commit 4325c8fd9c8b92986b1b0f75ac519a12726b6bd3
+Subproject commit d51753b29f2d2756ee74e83e5263ee34bb6decbf
diff --git a/unicorn_mode/update_uc_ref.sh b/unicorn_mode/update_uc_ref.sh
new file mode 100755
index 00000000..d198fa2a
--- /dev/null
+++ b/unicorn_mode/update_uc_ref.sh
@@ -0,0 +1,25 @@
+#/bin/sh
+
+UC_VERSION_FILE='./UNICORNAFL_VERSION'
+
+NEW_VERSION="$1"
+if [ -z "$NEW_VERSION" ]; then
+  echo "Internal script to update bound unicornafl version."
+  echo
+  echo "Usage: ./update_uc_ref.sh <new commit hash>"
+  exit 1
+fi
+
+git submodule init && git submodule update || exit 1
+cd ./unicornafl
+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 "$NEW_VERSION" || exit 1
+
+cd ..
+
+rm "$UC_VERSION_FILE"
+echo "$NEW_VERSION" > "$UC_VERSION_FILE"
+
+echo "Done. New unicornafl version is $NEW_VERSION."
-- 
cgit 1.4.1