|
|
@@ -73,7 +73,7 @@ fi |
|
|
# Modify original build-options to allow config file to be mounted in the docker container |
|
|
# Modify original build-options to allow config file to be mounted in the docker container |
|
|
BUILD_OPTS="$(echo "${BUILD_OPTS:-}" | sed -E 's@\-c\s?([^ ]+)@-c /config@')" |
|
|
BUILD_OPTS="$(echo "${BUILD_OPTS:-}" | sed -E 's@\-c\s?([^ ]+)@-c /config@')" |
|
|
|
|
|
|
|
|
${DOCKER} build --network=host -t pi-gen "${DIR}" |
|
|
|
|
|
|
|
|
${DOCKER} build --no-cache --network=host -t pi-gen "${DIR}" |
|
|
if [ "${CONTAINER_EXISTS}" != "" ]; then |
|
|
if [ "${CONTAINER_EXISTS}" != "" ]; then |
|
|
trap 'echo "got CTRL+C... please wait 5s" && ${DOCKER} stop -t 5 ${CONTAINER_NAME}_cont' SIGINT SIGTERM |
|
|
trap 'echo "got CTRL+C... please wait 5s" && ${DOCKER} stop -t 5 ${CONTAINER_NAME}_cont' SIGINT SIGTERM |
|
|
time ${DOCKER} run --rm --privileged \ |
|
|
time ${DOCKER} run --rm --privileged \ |
|
|
|
Luigi Freitas Cruz
4 years ago