diff options
author | José Fonseca <jfonseca@vmware.com> | 2010-02-14 13:15:49 +0000 |
---|---|---|
committer | José Fonseca <jfonseca@vmware.com> | 2010-02-14 13:15:49 +0000 |
commit | c3168e050eabff55e12485c8648f4cf0744182c1 (patch) | |
tree | d06002b6d9bc53da089ceeff0c4880059598921b /doxygen/main.doxy | |
parent | 4ab3f0edef438334d70d26381e3b2acdc48b176b (diff) |
makefiles: Don't complaint about changing configs if the same one is reselected.
Otherwise it creates unnecessary pain when automating builds in a build
server/farm.
Diffstat (limited to 'doxygen/main.doxy')
0 files changed, 0 insertions, 0 deletions