fix: update tools version in example

cartesi · Aug 24, 2023 · 0d3ee9e · 0d3ee9e
1 parent 6070b82
commit 0d3ee9e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"