X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fconfig.h;h=f18487bfeeb61493bc5ab0459f81903deff13ddf;hb=30b1243ff16b908ae18b4ab9d70f772c9196b949;hp=5c87eedf98d78644d3bf742f4791be7b697b6832;hpb=8818c970f123a7fa44bf41bc60369217d083b4da;p=builder.git

diff --git a/source/config.h b/source/config.h
index 5c87eed..f18487b 100644
--- 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();
 };