OptionMap options;
Msp::Time::TimeStamp mtime;
bool freeze_mtime;
+ bool changed;
public:
Config(SourcePackage &);
present, the default profile is assumed. */
void select_last_profile();
- /** Selects a profile. The profile cache file is updated, unless doing a
- dry run. */
+ /** Selects a profile. */
void select_profile(const std::string &);
/** Processes options from the given raw option map. Nonexistent options