diff options
| author | Pjotr Prins | 2018-07-14 13:10:41 +0200 |
|---|---|---|
| committer | Pjotr Prins | 2018-07-14 13:10:41 +0200 |
| commit | d42329ed84e99f9ab351af291c42dbd06ca9cb59 (patch) | |
| tree | b7b32a259c0808a2891932f8d0a653b59adbb90b /scripts/gen_version_info.sh | |
| parent | 3f120a438bd9ce981a43058f47bb2bb05f86fc1e (diff) | |
| download | pangemma-d42329ed84e99f9ab351af291c42dbd06ca9cb59.tar.gz | |
Guix: add more build information to the final binary
Diffstat (limited to 'scripts/gen_version_info.sh')
| -rwxr-xr-x | scripts/gen_version_info.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/gen_version_info.sh b/scripts/gen_version_info.sh index 8a9e38d..9be81c6 100755 --- a/scripts/gen_version_info.sh +++ b/scripts/gen_version_info.sh @@ -3,10 +3,12 @@ # Script to generate the version info of GEMMA and its environment # in ./src/version.h -DATE=$(date "+%Y/%m/%d") +DATE=$(date "+%Y-%m-%d") YEAR=$(date "+%Y") +PROFILE=$1 echo // version.h generated by GEMMA $0 echo \#define GEMMA_VERSION \"$(cat ./VERSION)\" echo \#define GEMMA_DATE \"$DATE\" echo \#define GEMMA_YEAR \"$YEAR\" +echo \#define GEMMA_PROFILE \"$PROFILE\" |