Replace the overly generic configuration profiles with something more purposeful

[builder.git] / source / config.h

diff --git a/source/config.h b/source/config.h
index 5c87eedf98d78644d3bf742f4791be7b697b6832..f18487bfeeb61493bc5ab0459f81903deff13ddf 100644 (file)
--- a/source/config.h
+++ b/source/config.h
@@ -42,7 +42,6 @@ private:
        SourcePackage &package;
        OptionMap options;
        Msp::Time::TimeStamp mtime;
-       bool freeze_mtime;
        bool changed;
 
 public:
@@ -60,13 +59,6 @@ public:
        /** Checks whether an option exists. */
        bool is_option(const std::string &) const;
 
-       /** Selects the last profile used.  If the profile cache file is not
-       present, the default profile is assumed. */
-       void select_last_profile();
-
-       /** Selects a profile. */
-       void select_profile(const std::string &);
-
        /** Processes options from the given raw option map.  Nonexistent options
        are ignored.  If any options were changed, the mtime of the configuration is
        updated to the current time.  Return value indicates whether any options
@@ -79,6 +71,7 @@ public:
        void save() const;
 private:
        bool set_option(const std::string &, const std::string &);
+public:
        void load();
 };