From 1a3daa44fa0d6cadae1f8c26f420b64e82e81898 Mon Sep 17 00:00:00 2001
From: Giovanni Bajo <rasky@develer.com>
Date: Sun, 6 Oct 2024 20:14:40 +0200
Subject: [PATCH] build.sh: do regen after installing tools once

---
 build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index cd5f1a0b1..4096ac026 100755
--- a/build.sh
+++ b/build.sh
@@ -37,8 +37,9 @@ JOBS="${JOBS:-1}" # If getconf returned nothing, default to 1
 # Clean, build, and install libdragon + tools
 sudoMakeWithParams install-mk
 makeWithParams clobber
-makeWithParams libdragon tools regen
+makeWithParams libdragon tools
 sudoMakeWithParams install tools-install
+makeWithParams regen
 
 # Build examples and tests - libdragon must be already installed at this point,
 # so first clobber the build to make sure that everything works against the