From dc8914af4eb6cffaf86f9dc6af17b35ea4439df5 Mon Sep 17 00:00:00 2001
From: Giovanni Bajo <rasky@develer.com>
Date: Sun, 6 Oct 2024 20:20:25 +0200
Subject: [PATCH] build.sh: remove regen from build.sh for now

---
 build.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build.sh b/build.sh
index 4096ac0264..fb533e3ab4 100755
--- a/build.sh
+++ b/build.sh
@@ -39,7 +39,6 @@ sudoMakeWithParams install-mk
 makeWithParams clobber
 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