diff options
Diffstat (limited to 'tools/ci')
| -rwxr-xr-x | tools/ci/jobs/pages.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/jobs/pages.sh b/tools/ci/jobs/pages.sh index 756b1c07d..b59f0bbc2 100755 --- a/tools/ci/jobs/pages.sh +++ b/tools/ci/jobs/pages.sh @@ -14,7 +14,7 @@ mkdir -p ../public/version cp ./logs/gcc-?.* ../public/gcov || exit 1 cp ./logs/gcc-?_SDL2.* ../public/gcov || exit 1 -echo date >../public/version/commit.txt +date >../public/version/commit.txt echo "Url: $CI_PROJECT_URL" >>../public/version/commit.txt echo "Ref name: $CI_BUILD_REF_NAME" >>../public/version/commit.txt echo "Ref: $CI_BUILD_REF" >>../public/version/commit.txt |