summaryrefslogtreecommitdiff
path: root/config/global.in
diff options
context:
space:
mode:
authorAlexey Neyman <stilor@att.net>2017-09-03 17:43:21 (GMT)
committerGitHub <noreply@github.com>2017-09-03 17:43:21 (GMT)
commit95de709fe3f7e58af210c2727a7b28608936068e (patch)
tree349daeaf546a5c3c9e942967ba0512b67769d42d /config/global.in
parent98b6a5a4503095ba539a415d90e3f2c5331985ed (diff)
parentb0f14b0dfa1b8a060ba75c5a7294241857f51b3c (diff)
Merge pull request #822 from nathanchance/pkgversion-flexibility
Improve toolchain ID options
Diffstat (limited to 'config/global.in')
-rw-r--r--config/global.in4
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