From 2eeac50d796446d9f2aa72370e9cf085c5067355 Mon Sep 17 00:00:00 2001
From: Simpleshell3 <92247771+Simpleshell3@users.noreply.github.com>
Date: Tue, 6 Aug 2024 18:20:28 +0100
Subject: [PATCH] Update Dockerfile.flint.ubuntu.18.04

---
 Docker/Dockerfile.flint.ubuntu.18.04 | 2 ++
 1 file changed, 2 insertions(+)

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 .
 #