Add TODO note for phd_build dockerfile.

github.com/ChrisCummins/phd/issues/63
ChrisCummins · Dec 26, 2019 · 04963bc · 04963bc
1 parent e9579ce
commit 04963bc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tools/docker/phd_build/Dockerfile b/tools/docker/phd_build/Dockerfile
@@ -1,4 +1,6 @@
 # An Ubuntu environment configured for building the phd repo.
+# TODO(github.com/ChrisCummins/phd/issues/63): Clone phd repo, run configure, 
+# run bootstrap, remove phd clone.
 FROM chriscummins/phd_base_java:2019.08.06
 LABEL maintainer="Chris Cummins <[email protected]>"