diff options
| author | François Andriot <[email protected]> | 2017-07-25 18:36:32 +0200 |
|---|---|---|
| committer | François Andriot <[email protected]> | 2017-07-25 18:36:32 +0200 |
| commit | 2a9e6e2053407cd126bf1154086f3ca170c7d5a9 (patch) | |
| tree | 0bc55a768492922ffffc01167dd96624d8384f93 /redhat/docker/build.sh | |
| parent | a166e45221dabbf06d176ce3186e5f52b1549a1f (diff) | |
| download | tde-packaging-2a9e6e2053407cd126bf1154086f3ca170c7d5a9.tar.gz tde-packaging-2a9e6e2053407cd126bf1154086f3ca170c7d5a9.zip | |
RPM packaging: update build scripts
Diffstat (limited to 'redhat/docker/build.sh')
| -rwxr-xr-x | redhat/docker/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/redhat/docker/build.sh b/redhat/docker/build.sh index 9c5653d26..a48b281cd 100755 --- a/redhat/docker/build.sh +++ b/redhat/docker/build.sh @@ -10,4 +10,4 @@ ARCH="$3" IMAGE="trinity.${DISTRIB}.${ARCH}:${TDE_VERSION}" docker rmi -f "${IMAGE}" -docker build -t "${IMAGE}" --build-arg TDE_VERSION="${TDE_VERSION}" --build-arg ARCH="${ARCH}" "${DISTRIB}" +docker build -t "${IMAGE}" -f "${DISTRIB}/Dockerfile.${ARCH}" --build-arg TDE_VERSION="${TDE_VERSION}" --build-arg ARCH="${ARCH}" "${DISTRIB}" |