diff options
| author | Michael Forney <mforney@mforney.org> | 2020-06-04 20:48:01 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2020-06-05 03:01:44 -0700 |
| commit | d4297a13c823b62d29d9850ab5815f6c78baf35a (patch) | |
| tree | 153ebe760b69008ea6ff38d7066368d6f254b96b /src | |
| parent | ab438ea71e5b61956b9ad8c5b5f56e3a6c6b66c3 (diff) | |
Use -isystem to include library headers
This way, warnings from headers that come from another package (in
particular linux-headers) won't show up when they get included.
To make sure we still track dependencies, use -MD instead of -MMD.
Diffstat (limited to 'src')
| -rw-r--r-- | src/gen.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gen.lua b/src/gen.lua index 98e9a6e0..56b26613 100644 --- a/src/gen.lua +++ b/src/gen.lua @@ -5,7 +5,7 @@ cflags{ cc('devd.c', 'pkg/linux-headers/headers', {cflags={ '$cflags', - '-I $builddir/pkg/linux-headers/include', + '-isystem $builddir/pkg/linux-headers/include', string.format([[-D 'PREFIX="%s"']], config.prefix), }}) |