From 672fd03e83f0333e8d8cb98c222520cd61a2f7a9 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 5 Jun 2024 06:15:13 +0200
Subject: Merging upstream version 5.7.3.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 ci/images/build.sh | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100755 ci/images/build.sh

(limited to 'ci/images/build.sh')

diff --git a/ci/images/build.sh b/ci/images/build.sh
deleted file mode 100755
index 1e9eabb..0000000
--- a/ci/images/build.sh
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/bin/bash
-# build specified docker image
-
-CURRENT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)"
-source "${CURRENT_DIR}"/vars.sh "$@"
-set -ex
-
-if [ -n "$COVERITY_SCAN_TOKEN" ]; then
-	SECRETS="$SECRETS --secret id=coverity-token,env=COVERITY_SCAN_TOKEN"
-fi
-
-DOCKERFILE="$(realpath "${IMAGE}")/Dockerfile"
-
-cd "$CURRENT_DIR/../.."
-export DOCKER_BUILDKIT=1 # Enables using secrets in docker-build
-docker build \
-	--pull \
-	--no-cache \
-	--tag "${FULL_NAME}" \
-	--file "${DOCKERFILE}" \
-	. \
-	--build-arg KNOT_BRANCH=${KNOT_BRANCH} \
-	$SECRETS
-- 
cgit v1.2.3