summaryrefslogtreecommitdiff
path: root/config/global.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/global.in')
-rw-r--r--config/global.in3
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."