From 53a1be66b09ebadbda0e0bde7ce7b23988429931 Mon Sep 17 00:00:00 2001 From: Leonardo Grasso Date: Mon, 3 May 2021 16:46:36 +0200 Subject: [PATCH] chore(docker/builder): remove never used MINIMAL_BUILD option The option was added but could not work since MINIMAL_BUILD is not declared in this scope (also not currently needed). Furthermore, it never took effect since the builder image was never built and pushed. For the same reason, we have not noticed it until now. Signed-off-by: Leonardo Grasso --- docker/builder/root/usr/bin/entrypoint | 1 - 1 file changed, 1 deletion(-) diff --git a/docker/builder/root/usr/bin/entrypoint b/docker/builder/root/usr/bin/entrypoint index 3bfadfd7..fd8f8df2 100755 --- a/docker/builder/root/usr/bin/entrypoint +++ b/docker/builder/root/usr/bin/entrypoint @@ -34,7 +34,6 @@ case "$CMD" in -DCMAKE_BUILD_TYPE="$BUILD_TYPE" \ -DCMAKE_INSTALL_PREFIX=/usr \ -DBUILD_DRIVER="$BUILD_DRIVER" \ - -DMINIMAL_BUILD="$MINIMAL_BUILD" \ -DBUILD_BPF="$BUILD_BPF" \ -DBUILD_WARNINGS_AS_ERRORS="$BUILD_WARNINGS_AS_ERRORS" \ -DFALCO_VERSION="$FALCO_VERSION" \