change capitalization of dockerfile

This commit is contained in:
Thomas Schleicher 2024-10-22 19:50:19 +02:00
parent d09e5a9e41
commit 93d02a2cb0

View file

@ -16,7 +16,7 @@ build_job:
- apt-get update -y - apt-get update -y
- apt-get install -y --no-install-recommends cmake libboost-all-dev - apt-get install -y --no-install-recommends cmake libboost-all-dev
- mkdir -p ${BUILD_DIR} - mkdir -p ${BUILD_DIR}
- cp Dockerfile ${BUILD_DIR}/ - cp dockerfile ${BUILD_DIR}/
- cd ${BUILD_DIR} - cd ${BUILD_DIR}
- cmake .. ${CMAKE_OPTIONS} - cmake .. ${CMAKE_OPTIONS}
- make -j$(nproc) - make -j$(nproc)