The update level determines what information is updated. */
void update_from(const BuildInfo &, UpdateLevel = LOCAL);
-
-private:
- /** Makes sure there are no duplicate entries in the lists. For warnings,
- contradicting flags are eliminated and the last one stays in effect. */
- void unique();
};
#endif