summary refs log tree commit diff
path: root/.gitmodules
diff options
context:
space:
mode:
authorLars Hjemli <hjemli@gmail.com>2010-11-07 16:13:49 +0100
committerLars Hjemli <hjemli@gmail.com>2010-11-07 16:13:49 +0100
commit5807fb79faa49e9a8f2da616e9cc821e0198fcb7 (patch)
treeab36f62bc5fea3856603f6653f5c8da31233abea /.gitmodules
parentd41b2ddcb331caa74c1a90a0253f234142848552 (diff)
Makefile: add -MP option
Work around errors `make` gives when header files are removed without
the Makefile being updated.

Signed-off-by: Lynn Lin <Lynn.Lin@emc.com>
Signed-off-by: Lars Hjemli <hjemli@gmail.com>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions