K 10
svn:author
V 4
fjoe
K 8
svn:date
V 27
2009-10-18T11:28:31.963137Z
K 7
svn:log
V 182
Reset UPTODATE gnodes after remaking makefiles when make
is not going to be restarted: such nodes could be marked UPTODATE
without doing rebuild due to remakingMakefiles being TRUE.

END