From 7fbb0fcba7201a6651cff2a2f853d3aa259337e1 Mon Sep 17 00:00:00 2001 From: toka Date: Mon, 25 Aug 2025 15:45:09 +0200 Subject: [PATCH] upd --- build.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.rs b/build.rs index a651af3..a9e7549 100644 --- a/build.rs +++ b/build.rs @@ -6,7 +6,7 @@ use which::which; const TINYINST_URL: &str = "https://github.com/googleprojectzero/TinyInst.git"; const TINYINST_DIRNAME: &str = "Tinyinst"; -const TINYINST_REVISION: &str = "69ae1ff55eac8cb5d2e9a257c5650486ffe2af04"; +const TINYINST_REVISION: &str = "fc9938b07d3143ee12f1606f45852c0eee63a5d8"; fn build_dep_check(tools: &[&str]) -> bool { for tool in tools {