Update Dockerfile.flint.ubuntu.18.04

Simpleshell3 · Jul 21, 2024 · eef4721 · eef4721
1 parent 08ca8f8
commit eef4721
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Docker/Dockerfile.flint.ubuntu.18.04 b/Docker/Dockerfile.flint.ubuntu.18.04
@@ -72,7 +72,7 @@ RUN wget https://pocoproject.org/releases/poco-${POCO_VERSION}/poco-${POCO_VERSI
 
 # GET FLINT
 WORKDIR $ROOTDIR/
-RUN cd src && git clone -b ${FLINT_BRANCH} https://${GITHUB_AT}@github.com/moja-global/flint.git flint
+RUN cd src && git clone -b ${FLINT_BRANCH} https://${GITHUB_AT}@github.com/moja-global/FLINT.git flint
 
 WORKDIR $ROOTDIR/src/flint/Source/build
 RUN cmake   -DCMAKE_BUILD_TYPE=RELEASE \