diff options
| author |   Luca Boccassi <luca.boccassi@gmail.com> | 2018-10-02 19:48:32 +0100 |
|---|---|---|
| committer | Luca Boccassi <luca.boccassi@gmail.com> | 2018-11-13 11:18:30 +0000 |
| commit | 529cc749eb771b5b761b28ae8daa20439e417b58 (patch) | |
| tree | 82bc66b735bfc70b07a89f1b5b325609b7da65aa /drivers | |
| parent | 418fa12aa9b143ee6519c43c3c1262c697e3a015 (diff) | |
Don't build dpdk-doc when using the nodoc profile
Change-Id: Ia1dbaaffea54b1bd4986ac58769840ac9ccbb488
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'drivers')
0 files changed, 0 insertions, 0 deletions