-/**
-Selects the last profile used. If the profile cache file is not present, the
-default profile is assumed.
-*/
-void Config::select_last_profile()
-{
- ifstream in((package.get_source()/".profile.cache").str().c_str());
- if(in)
- {
- string profile;
- getline(in, profile);
- set_option("profile", profile);
- }
-
- freeze_mtime=true;
- package.get_builder().apply_profile_template(*this, get_option("profile").value);
- freeze_mtime=false;
-
- load();
-}
-
-/**
-Selects the given profile. The profile cache file is updated as well, unless
---dry-run was given.
-*/
-void Config::select_profile(const string &profile)
-{
- set_option("profile", profile);
-
- if(!package.get_builder().get_dry_run())
- {
- ofstream out((package.get_source()/".profile.cache").str().c_str());
- if(out)
- out<<profile<<'\n';
- }
-
- freeze_mtime=true;
- package.get_builder().apply_profile_template(*this, profile);
- freeze_mtime=false;
-
- load();
-}
-
-/**
-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.
-
-@param opts A map to process options from
-
-@return Whether any option values were changed
-*/