diff path.h @ 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 8e7537586f0b
children
line wrap: on
line diff