Just copy from the image in ddist

This ensures (with the help of Docker caching) that running
./dtest.sh && ./ddist.sh results in shipping the binary that was
actually tested.
pull/1/head
Thomas Orozco 10 years ago
parent 0b3e77da75
commit c35496874c
  1. 1
      .dockerignore
  2. 3
      ddist.sh

@ -0,0 +1 @@
./dist

@ -13,7 +13,6 @@ NAME="${IMG}-dist"
BIN="tini"
docker build -t "${IMG}" .
docker run -it --name="${NAME}" --entrypoint="bash" --workdir="/tini" "${IMG}" "-c" "make clean && make"
docker run -it --name="${NAME}" --entrypoint="true" "${IMG}" true
docker cp "${NAME}:/tini/${BIN}" "${DIST_DIR}"
docker rm "${NAME}"

Loading…
Cancel
Save