diff options
author | Alexey Neyman <stilor@att.net> | 2017-09-03 17:43:21 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-03 17:43:21 (GMT) |
commit | 95de709fe3f7e58af210c2727a7b28608936068e (patch) | |
tree | 349daeaf546a5c3c9e942967ba0512b67769d42d /config/global.in | |
parent | 98b6a5a4503095ba539a415d90e3f2c5331985ed (diff) | |
parent | b0f14b0dfa1b8a060ba75c5a7294241857f51b3c (diff) |
Merge pull request #822 from nathanchance/pkgversion-flexibility
Improve toolchain ID options
Diffstat (limited to 'config/global.in')
-rw-r--r-- | config/global.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/global.in b/config/global.in index 2860f1a..0dff199 100644 --- a/config/global.in +++ b/config/global.in @@ -1,5 +1,9 @@ # Overall toolchain configuration: paths, jobs, etc... +config CT_VERSION + string + option env="CT_VERSION" + # Allow unconditional usage of tristates config MODULES bool |