diff options
| author | rejbasket <39080670+rejbasket@users.noreply.github.com> | 2024-07-20 09:20:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-20 09:20:10 +0200 |
| commit | 9c537f33b9eb4d015316a7867a9e6d1eda6cd70c (patch) | |
| tree | b642c94f5a3c12082dc6c725aac99ec47e25b68a /bin/generate-version-file | |
| parent | 67b628b5e337d6d28045fe50261096fa9554f495 (diff) | |
shapely arm fix (#3094)
Diffstat (limited to 'bin/generate-version-file')
| -rwxr-xr-x | bin/generate-version-file | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/generate-version-file b/bin/generate-version-file index 36c70944..df3d8459 100755 --- a/bin/generate-version-file +++ b/bin/generate-version-file @@ -2,9 +2,9 @@ VERSION="${GITHUB_REF##*/}" OS="${BUILD:-$(uname)}" - +DATE=$(date +"%Y-%m-%d %H:%M") if [[ "$VERSION" == "" ]]; then VERSION="Manual Install" fi -echo "${VERSION} (${OS})" > VERSION +echo "${VERSION} (${OS}) ${DATE}" > VERSION |