makefiles: Don't complaint about changing configs if the same one is reselected.
authorJosé Fonseca <jfonseca@vmware.com>
Sun, 14 Feb 2010 13:15:49 +0000 (13:15 +0000)
committerJosé Fonseca <jfonseca@vmware.com>
Sun, 14 Feb 2010 13:15:49 +0000 (13:15 +0000)
commitc3168e050eabff55e12485c8648f4cf0744182c1
treed06002b6d9bc53da089ceeff0c4880059598921b
parent4ab3f0edef438334d70d26381e3b2acdc48b176b
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.
Makefile