(should remove the unneeded rebuilding of some core-files due to that the revision.h file has changed timestamp-wise) --HG-- branch : trunk
(should remove the unneeded rebuilding of some core-files due to that the revision.h file has changed timestamp-wise) --HG-- branch : trunk