toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.pipeline.docker
/
Make
/
Make
Make
constructor
(
distro
:
BaseDockerfile
,
config
:
Make.Config
)
Parameters
distro
Distro image for use in conjunction with GNU Make.
config
The
configuration
to instantiate this class.