diff options
| author | Chia-I Wu <olv@lunarg.com> | 2011-01-29 19:06:27 +0800 |
|---|---|---|
| committer | Chia-I Wu <olv@lunarg.com> | 2011-01-29 19:22:54 +0800 |
| commit | b825e4955243b8ecb57e58afafd8b2286fdd4369 (patch) | |
| tree | b9b8d5d3f7d2ff1855174f31a5068beddb91ca24 /docs/perf.html | |
| parent | 2a456dc123e8263de8e4666890a34f403faa9a39 (diff) | |
mapi: Workaround a bug in makedepend.
makedepend would crash when a source includes a header indirectly, such
as
#define HEADER "some-header.h"
#include HEADER
Do not define HEADER (makedepend would detects this as an incomplete
include) and add the dependency manually in the Makefile.
This should hopefully fix bug #33374.
Diffstat (limited to 'docs/perf.html')
0 files changed, 0 insertions, 0 deletions