diff mpcommon.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 3edaed3c1d60
children 68794f2fbf1e
line wrap: on
line diff