X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fconfig.h;h=5c87eedf98d78644d3bf742f4791be7b697b6832;hb=0e34eb4b0de804174b9ea3e91cbc3ee0063518c6;hp=6babde995d94ad7628d70f385bead9ed211a067a;hpb=c51884994862b02613c2c0ae75b1f8d39e0f1ee5;p=builder.git diff --git a/source/config.h b/source/config.h index 6babde9..5c87eed 100644 --- a/source/config.h +++ b/source/config.h @@ -43,6 +43,7 @@ private: OptionMap options; Msp::Time::TimeStamp mtime; bool freeze_mtime; + bool changed; public: Config(SourcePackage &); @@ -63,8 +64,7 @@ public: 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