diff options
| author |   Alexey Neyman <stilor@att.net> | 2019-04-05 21:09:48 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2019-04-05 21:09:48 (GMT) |
| commit | 51f1db5c0aed562caf6d195ee5d3666ee33cc0ad (patch) | |
| tree | dfcb47a7f71ddb84e81e6a89530dcaf4f33b0dfe /config/global.in | |
| parent | ace18924a37dce89d9476dfc9a4ec329e77660a2 (diff) | |
| parent | 693d3943b10665b99a31ab1f3b4058fb4b3a32d1 (diff) | |
Merge pull request #1178 from stilor/master
Last fixes for 1.24.0
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 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." |