diff options
author | shirleyquirk | 2020-08-04 23:53:21 +0000 |
---|---|---|
committer | GitHub | 2020-08-04 23:53:21 +0000 |
commit | 731f8d7692bfe08f5fd5890a98797f9b1b8d065d (patch) | |
tree | 512a18c53d4e7e6878ea134a2a307e3caec2278d /Makefile | |
parent | 29e12415d4bae7a08fa9f3024d809b5a3be76ba1 (diff) | |
parent | b2321b0ded6f4a9803daf9dbcbd88d56321a9305 (diff) |
Merge branch 'lc_useVersion' into collect
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -55,6 +55,7 @@ NIM_OPTIMIZE = size NIM_CACHE_DIR = nimcache NIM_OPTIONS = \ + --useVersion:'1.0' \ --putenv:'PROG_VERSION'="${RVERSION}" \ --putenv:'PROG_COPYRIGHT'="${COPYRIGHT}" \ --putenv:'PROG_PKGLIBDIR'="${PKGLIBDIR}" \ |