From d09e5a9e41923cdc8f9ab3f1a1b00b128670305d Mon Sep 17 00:00:00 2001
From: Thomas Schleicher <thschleicher@edu.aau.at>
Date: Tue, 22 Oct 2024 19:48:36 +0200
Subject: [PATCH] copy dockerfile to build dir

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d4c65df..825f4aa 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,6 +16,7 @@ build_job:
         - apt-get update -y
         - apt-get install -y --no-install-recommends cmake libboost-all-dev
         - mkdir -p ${BUILD_DIR}
+        - cp Dockerfile ${BUILD_DIR}/
         - cd ${BUILD_DIR}
         - cmake .. ${CMAKE_OPTIONS}
         - make -j$(nproc)