aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2015-12-02 13:06:49 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2015-12-02 13:06:49 +0200
commitc5fc14f302a4080ad0c6469e78582abb8e9b113f (patch)
treec199c6835f03a598c8cb48c5c6ce178150702785
parent9891b20350021ce41a950645dd76df20a45c92cc (diff)
Don't write config.{loaded,configured} special variables to config.build
-rw-r--r--build/config/operation.cxx6
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.
//