From af94932371295be8ea9fcc733f314dbf1e4052e3 Mon Sep 17 00:00:00 2001
From: Dmitry <98899785+mdqst@users.noreply.github.com>
Date: Mon, 22 Sep 2025 14:02:34 +0300
Subject: [PATCH] chore: fix build script to always run from repo root

---
 scripts/build-docker-images | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/scripts/build-docker-images b/scripts/build-docker-images
index cf2319c3..4f28b41b 100755
--- a/scripts/build-docker-images
+++ b/scripts/build-docker-images
@@ -1,4 +1,6 @@
-#!/bin/sh
+#!/bin/bash
 
 echo "Building the docker images. Note this script should be run from the repository root."
-docker build -t aggkit-prover:local .
+SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
+REPO_ROOT="$SCRIPT_DIR/.."
+docker build -t aggkit-prover:local "$REPO_ROOT"