diff --git a/Docker/Dockerfile.flint.ubuntu.18.04 b/Docker/Dockerfile.flint.ubuntu.18.04 index a064885..070ecbe 100644 --- a/Docker/Dockerfile.flint.ubuntu.18.04 +++ b/Docker/Dockerfile.flint.ubuntu.18.04 @@ -2,6 +2,8 @@ # # Docker to ubuntu 18.04 image for Moja flint libraries and executables # +# TODO: update script to use ubuntu latest +# # Building this Docker: # docker build -f Dockerfile.flint.ubuntu.18.04 --build_arg BUILD_TYPE=RELEASE --build-arg NUM_CPU=4 --build-arg FLINT_BRANCH=develop -t moja/flint:ubuntu-18.04 . #