diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2015-12-02 13:06:49 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2015-12-02 13:06:49 +0200 |
| commit | c5fc14f302a4080ad0c6469e78582abb8e9b113f (patch) | |
| tree | c199c6835f03a598c8cb48c5c6ce178150702785 /build/config | |
| parent | 9891b20350021ce41a950645dd76df20a45c92cc (diff) | |
Don't write config.{loaded,configured} special variables to config.build
Diffstat (limited to 'build/config')
| -rw-r--r-- | build/config/operation.cxx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build/config/operation.cxx b/build/config/operation.cxx index cab6520..295a38a 100644 --- a/build/config/operation.cxx +++ b/build/config/operation.cxx @@ -102,6 +102,12 @@ namespace build const variable& var (p.first->first); const value& val (p.first->second); + // Skip special variables. + // + if (var.name == "config.loaded" || + var.name == "config.configured") + continue; + // Warn the user if the value that we are saving differs // from the one they specified on the command line. // |