From 60cb7de336035768089cc764a3fd7e8867a8d298 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 27 Feb 2009 11:04:41 +0000
Subject: * Allow options from the Nix config file to be overriden from the  
 command line (e.g. "--option build-use-chroot true").

---
 src/libstore/globals.cc | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/libstore/globals.cc')

diff --git a/src/libstore/globals.cc b/src/libstore/globals.cc
index 296cc4ac8029..907627b6591c 100644
--- a/src/libstore/globals.cc
+++ b/src/libstore/globals.cc
@@ -34,6 +34,9 @@ static bool settingsRead = false;
 
 static std::map<string, Strings> settings;
 
+/* Overriden settings. */
+std::map<string, Strings> settingsCmdline;
+
 
 string & at(Strings & ss, unsigned int n)
 {
@@ -73,6 +76,8 @@ static void readSettings()
         advance(i, 2);
         settings[name] = Strings(i, tokens.end());
     };
+
+    settings.insert(settingsCmdline.begin(), settingsCmdline.end());
     
     settingsRead = true;
 }
@@ -118,6 +123,13 @@ unsigned int queryIntSetting(const string & name, unsigned int def)
 }
 
 
+void overrideSetting(const string & name, const Strings & value)
+{
+    if (settingsRead) settings[name] = value;
+    settingsCmdline[name] = value;
+}
+
+
 void reloadSettings()
 {
     settingsRead = false;
-- 
cgit 1.4.1