Skip to content

Better Dockerfile

Latest
Compare
Choose a tag to compare
@michaelfig michaelfig released this 14 May 20:32

Use a Docker ENTRYPOINT for more conventional initialization.

Fix a deadlock with multiple --target specifications.