diff DOCS/tech/patches.txt @ 35942:a24e13d192e7

build: Do not record system headers in dependency tracking files. This avoids all manners of weird issues when rebuilding tools and tests.
author diego
date Thu, 21 Mar 2013 14:07:00 +0000
parents 81c9be1beeec
children
line wrap: on
line diff