diff options
| author | Jiri Pirko <jiri@mellanox.com> | 2019-11-03 15:29:07 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-11-03 16:42:57 +0100 |
| commit | b35fad31e9c2d4a970d051deff80ec7cc4c3e459 (patch) | |
| tree | c90d4241ce8c4000fd2ee78866f397d9420b8cfd /executor/defs.h | |
| parent | 99d946ccff4e757395f5607f06645c79c2c951df (diff) | |
pkg/csource: remove duplicate check
Remove a check that was mistakenly added with devlink_pci feature and is
duplicate of the existing check.
Signed-off-by: Jiri Pirko <jiri@mellanox.com>
Diffstat (limited to 'executor/defs.h')
0 files changed, 0 insertions, 0 deletions