From f8535c469effd4b57fed0e3731f6f48d64ba8af6 Mon Sep 17 00:00:00 2001 From: Marc Durdin Date: Mon, 22 May 2023 11:32:45 +1000 Subject: [PATCH] chore: Update resources/builder.inc.sh --- resources/builder.inc.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/resources/builder.inc.sh b/resources/builder.inc.sh index e862f149b6..f9440ae83e 100755 --- a/resources/builder.inc.sh +++ b/resources/builder.inc.sh @@ -1732,7 +1732,6 @@ builder_has_dependencies() { builder_has_module_been_built() { local module="$1" - echo "builder_has_module_been_built: $module" if [[ -z ${_builder_deps_built+x} ]]; then # not in a builder context, so we assume a build is needed