diff options
author | Alexey Neyman <stilor@att.net> | 2019-03-25 21:05:25 (GMT) |
---|---|---|
committer | Alexey Neyman <stilor@att.net> | 2019-04-05 01:57:42 (GMT) |
commit | 31002a0c0a5c2efe3ed3861a012a44e4888bf3d2 (patch) | |
tree | 858afd4267cae2e9ab592781f53c0413401174b5 /config | |
parent | cc3686ec2ff8e1e1d36cd2ea0b16922e0a441ed7 (diff) |
Add an ability to mark a configuration as invalid
... so that the build will fail early and predictably.
Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'config')
-rw-r--r-- | config/global.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config/global.in b/config/global.in index f5df002..94d2191 100644 --- a/config/global.in +++ b/config/global.in @@ -38,6 +38,9 @@ config CONFIG_VERSION default "0" if VCHECK = "load" || VCHECK = "save" default CONFIG_VERSION_CURRENT +config INVALID_CONFIGURATION + bool + if VCHECK = "warning" comment "*************************************************************************" comment "Loaded configuration was generated by a previous version of crosstool-NG." |