diff options
author | Alexey Neyman <stilor@att.net> | 2019-03-25 14:05:25 -0700 |
---|---|---|
committer | Alexey Neyman <stilor@att.net> | 2019-04-04 18:57:42 -0700 |
commit | 31002a0c0a5c2efe3ed3861a012a44e4888bf3d2 (patch) | |
tree | 858afd4267cae2e9ab592781f53c0413401174b5 /config/global.in | |
parent | cc3686ec2ff8e1e1d36cd2ea0b16922e0a441ed7 (diff) | |
download | crosstool-ng-31002a0c0a5c2efe3ed3861a012a44e4888bf3d2.tar.gz crosstool-ng-31002a0c0a5c2efe3ed3861a012a44e4888bf3d2.tar.bz2 crosstool-ng-31002a0c0a5c2efe3ed3861a012a44e4888bf3d2.zip |
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/global.in')
-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 f5df002d..94d2191b 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." |