commit 47c71f04c203935e19ded0ead60f90e905310c2e (tree) parent 832ad348172bdf38b260cd9b6a880daa30914495 Author: Motiejus Jakštys <motiejus@jakstys.lt> Date: Wed, 19 May 2021 22:57:50 +0300 add docs Diffstat:
| M | in-container | | | 10 | +++++++++- |
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/in-container b/in-container @@ -1,8 +1,16 @@ #!/bin/bash set -euo pipefail -NAME=wm-mj-build +# Prefix the 'make <...>' with this script to build the artifact in an isolated +# container. This means host dependencies can only be Docker and a shell (to +# run this script). +# +# Usage: +# ./in-container make help +# ./in-container make -j mj-msc-full.pdf +# ... +NAME=wm-mj-build if [[ -z "$(docker images -q --filter "reference=$NAME")" ]]; then docker build -t "$NAME" - < Dockerfile fi