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 /bin | |
| 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 'bin')
0 files changed, 0 insertions, 0 deletions