# HG changeset patch
# User diego
# Date 1363874820 0
# Node ID a24e13d192e76146421b381a9b85b3732e20e542
# Parent  45da530449e4b4b64ccd8b2aeb50580d3b6a8f14
build: Do not record system headers in dependency tracking files.

This avoids all manners of weird issues when rebuilding tools and tests.

diff -r 45da530449e4 -r a24e13d192e7 configure
--- a/configure	Thu Mar 21 11:19:34 2013 +0000
+++ b/configure	Thu Mar 21 14:07:00 2013 +0000
@@ -2740,7 +2740,7 @@
 fi
 
 cflag_check -mno-omit-leaf-frame-pointer && cflags_no_omit_leaf_frame_pointer="-mno-omit-leaf-frame-pointer"
-cflag_check -MD -MP && DEPFLAGS="-MD -MP"
+cflag_check -MMD -MP && DEPFLAGS="-MMD -MP"
 
 
 if test -n "$LDFLAGS" ; then