Fixup docker build/run (#5139)

* Fix MPFR dep build on docker * Clean up after docker run
2026-05-20 03:43:52 +00:00 · 2024-04-30 07:05:59 -06:00
parent aa209903d5
commit 423f557c34
2 changed files with 4 additions and 2 deletions
--- a/DockerRun.sh
+++ b/DockerRun.sh
@@ -20,6 +20,8 @@ docker run \
  --privileged=true \
  `# Attach tty for running orca slicer with command line things` \
  -ti \
+  `# Clean up after yourself` \
+  --rm \
  `# Pass all parameters from this script to the orca slicer  ENTRYPOINT binary` \
  orcaslicer $*