diff options
| author | Arvind Sankar <[email protected]> | 2020-06-22 17:30:40 -0400 |
|---|---|---|
| committer | Brian Behlendorf <[email protected]> | 2020-06-24 18:20:18 -0700 |
| commit | 75138073208674967d0fb238f1b6210da224db36 (patch) | |
| tree | f145d24bcc6be2c9aea039675cf276a9d7959f5b /config | |
| parent | 5ca349f95d836a2a59aceaa42715349749a43865 (diff) | |
Drop unnecessary srcdir paths
There's no need to specify the srcdir explicitly in _HEADERS and
EXTRA_DIST.
Reviewed-by: Ryan Moeller <[email protected]>
Reviewed-by: Brian Behlendorf <[email protected]>
Signed-off-by: Arvind Sankar <[email protected]>
Closes #10493
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions