diff options
author | Luca Boccassi <luca.boccassi@gmail.com> | 2017-05-18 19:21:38 +0100 |
---|---|---|
committer | Luca Boccassi <luca.boccassi@gmail.com> | 2017-05-18 19:21:38 +0100 |
commit | 155e2da43497ec305ae7e716a0f34056ea708855 (patch) | |
tree | 63ebf41ff6f241e1397e597d36694e04e33ca74b /lib/librte_acl | |
parent | cbb89ef6a1840a065940aae10f1d290a2b0d229f (diff) |
Add option to disable docs build
Takes some good time to build the documentation, so add a
DEB_BUILD_OPTIONS nodocs variable to let users disable it.
Change-Id: I8cb44d31329367784d2987ecba008143be089376
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'lib/librte_acl')
0 files changed, 0 insertions, 0 deletions