From ebe7a137eae2d5d10a8a4dd93c880e72509ea68c Mon Sep 17 00:00:00 2001
From: Marc Durdin <marc@durdin.net>
Date: Sat, 2 Aug 2025 14:01:53 +1000
Subject: [PATCH] maint(common): fixup jedi build.sh builder-basic.inc.sh
 include

Fixes: #14065
---
 developer/src/ext/jedi/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/developer/src/ext/jedi/build.sh b/developer/src/ext/jedi/build.sh
index d43ad7e1fb..226819d268 100755
--- a/developer/src/ext/jedi/build.sh
+++ b/developer/src/ext/jedi/build.sh
@@ -2,7 +2,7 @@
 ## START STANDARD BUILD SCRIPT INCLUDE
 # adjust relative paths as necessary
 THIS_SCRIPT="$(readlink -f "${BASH_SOURCE[0]}")"
-. "${THIS_SCRIPT%/*}/../../../../resources/build/build-utils.sh"
+. "${THIS_SCRIPT%/*}/../../../../resources/build/builder-basic.inc.sh"
 ## END STANDARD BUILD SCRIPT INCLUDE
 
 cd "$THIS_SCRIPT_PATH"