#!/bin/bash # #!/bin/bash # # pushd "$(dirname "$0")/.." # scripts/make_common.sh "${1}" "${2}" 1 # popd # BUILD_TYPE=$1 BUILD_CLEAN=$2 SOURCE_DIR=$(dirname "$0")/.. SOURCE_DIR=$(realpath ${SOURCE_DIR}) NAME=mingw64 BUILD_ARCH=64_bit docker stop repertory_${NAME} docker rm repertory_${NAME} docker build --build-arg NUM_JOBS=${MY_NUM_JOBS} -t repertory:${NAME} - < ${SOURCE_DIR}/docker/${BUILD_ARCH}/${NAME} && docker run -td -u $(id -u):$(id -g) --name repertory_${NAME} -w ${SOURCE_DIR} -v ${SOURCE_DIR}:${SOURCE_DIR}:rw,z repertory:${NAME} && docker exec repertory_${NAME} /bin/bash -c "${SOURCE_DIR}/scripts/make_common.sh ${BUILD_TYPE} "${BUILD_CLEAN}" 1" docker stop repertory_${NAME} docker rm repertory_${NAME}