diff options
| author | 2019-07-25 16:51:48 +0200 | |
|---|---|---|
| committer | 2019-07-25 16:51:48 +0200 | |
| commit | 82611c9622ed23b0e9fcf5f9f651ddffa1fd7706 (patch) | |
| tree | fc2c97fd8dd84ec30473cb85b889d8326c9a831a /Docker/hooks/build | |
| parent | 744a9e8cf00aef7dec0acfa5f90f0dcfa2ef8837 (diff) | |
| parent | 042b40eeeea77db854daab1bec96fce5c2cdd4b2 (diff) | |
Merge pull request #2451 from FreshRSS/dev1.14.3
FreshRSS 1.14.3
Diffstat (limited to 'Docker/hooks/build')
| -rwxr-xr-x | Docker/hooks/build | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Docker/hooks/build b/Docker/hooks/build new file mode 100755 index 000000000..84e759a80 --- /dev/null +++ b/Docker/hooks/build @@ -0,0 +1,21 @@ +#!/bin/bash + +cd .. +FRESHRSS_VERSION=$(grep "'FRESHRSS_VERSION'" constants.php | cut -d "'" -f4) +echo "$FRESHRSS_VERSION" + +if [[ $DOCKERFILE_PATH == *-ARM ]]; then + #TODO: Add --squash --platform arm options when Docker Hub deamon supports them + docker build \ + --build-arg FRESHRSS_VERSION="$FRESHRSS_VERSION" \ + --build-arg SOURCE_BRANCH="$SOURCE_BRANCH" \ + --build-arg SOURCE_COMMIT="$SOURCE_COMMIT" \ + -f "$DOCKERFILE_PATH" -t "$IMAGE_NAME" . +else + #TODO: Add --squash option when Docker Hub deamon supports it + docker build \ + --build-arg FRESHRSS_VERSION="$FRESHRSS_VERSION" \ + --build-arg SOURCE_BRANCH="$SOURCE_BRANCH" \ + --build-arg SOURCE_COMMIT="$SOURCE_COMMIT" \ + -f "$DOCKERFILE_PATH" -t "$IMAGE_NAME" . +fi |
