From 4d90b431fdd4da6c54dae610b71e3b20552035b8 Mon Sep 17 00:00:00 2001 From: Mirek Kratochvil Date: Fri, 17 Mar 2023 14:07:50 +0100 Subject: [PATCH] allow passing cmdline args to dockers --- docker/Dockerfile.comparefrog | 2 +- docker/Dockerfile.runfrog | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docker/Dockerfile.comparefrog b/docker/Dockerfile.comparefrog index 10115f0..adb0833 100644 --- a/docker/Dockerfile.comparefrog +++ b/docker/Dockerfile.comparefrog @@ -6,4 +6,4 @@ ADD bin/fbcmt-compare-frog /usr/bin RUN julia -e 'import Pkg; Pkg.develop(path="/pkg/"); Pkg.resolve(); Pkg.status(); Pkg.instantiate(); Pkg.precompile()' -ENTRYPOINT fbcmt-compare-frog +ENTRYPOINT ["/usr/bin/fbcmt-compare-frog"] diff --git a/docker/Dockerfile.runfrog b/docker/Dockerfile.runfrog index c468afb..9269784 100644 --- a/docker/Dockerfile.runfrog +++ b/docker/Dockerfile.runfrog @@ -6,4 +6,4 @@ ADD bin/fbcmt-run-frog /usr/bin RUN julia -e 'import Pkg; Pkg.add(["GLPK", "Tulip", "Clarabel", "OSQP", "Clp"]); Pkg.develop(path="/pkg/"); Pkg.resolve(); Pkg.status(); Pkg.instantiate(); Pkg.precompile()' -ENTRYPOINT fbcmt-run-frog +ENTRYPOINT ["/usr/bin/fbcmt-run-frog"]