diff options
| author | Lars Hjemli <hjemli@gmail.com> | 2010-11-07 16:13:49 +0100 |
|---|---|---|
| committer | Lars Hjemli <hjemli@gmail.com> | 2010-11-07 16:13:49 +0100 |
| commit | 5807fb79faa49e9a8f2da616e9cc821e0198fcb7 (patch) | |
| tree | ab36f62bc5fea3856603f6653f5c8da31233abea /filters/syntax-highlighting.sh | |
| parent | d41b2ddcb331caa74c1a90a0253f234142848552 (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 'filters/syntax-highlighting.sh')
0 files changed, 0 insertions, 0 deletions