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"