add docs
This commit is contained in:
parent
25ab3159c9
commit
feaf76b3f3
@ -1,8 +1,16 @@
|
|||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
set -euo pipefail
|
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
|
if [[ -z "$(docker images -q --filter "reference=$NAME")" ]]; then
|
||||||
docker build -t "$NAME" - < Dockerfile
|
docker build -t "$NAME" - < Dockerfile
|
||||||
fi
|
fi
|
||||||
|
Loading…
Reference in New Issue
Block a user