From 0d3ee9e9b84e7bdd4f9ca06bafcfd1ee343d6fe7 Mon Sep 17 00:00:00 2001
From: Marcelo Politzer <251334+mpolitzer@users.noreply.github.com>
Date: Thu, 24 Aug 2023 15:49:25 -0300
Subject: [PATCH] fix: update tools version in example

---
 example/build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/example/build b/example/build
index 883e73ac..343699c0 100755
--- a/example/build
+++ b/example/build
@@ -9,7 +9,7 @@ fi
 
 NAME=${1%.*}
 DOCKERFILE="$NAME.dockerfile"
-TOOLS=machine-emulator-tools-v0.11.0.tar.gz
+TOOLS=machine-emulator-tools-v0.12.0.tar.gz
 
 if [ ! -f "$DOCKERFILE" ]; then
   echo "dockerfile \"$DOCKERFILE\" not found"