diff options
| author |   Luca Boccassi <luca.boccassi@gmail.com> | 2018-02-19 11:16:57 +0000 |
|---|---|---|
| committer | Luca Boccassi <luca.boccassi@gmail.com> | 2018-02-19 11:17:28 +0000 |
| commit | ca33590b6af032bff57d9cc70455660466a654b2 (patch) | |
| tree | 0b68b090bd9b4a78a3614b62400b29279d76d553 /devtools/check-includes.sh | |
| parent | 169a9de21e263aa6599cdc2d87a45ae158d9f509 (diff) | |
New upstream version 18.02upstream/18.02
Change-Id: I89ed24cb2a49b78fe5be6970b99dd46c1499fcc3
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'devtools/check-includes.sh')
| -rwxr-xr-x | devtools/check-includes.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devtools/check-includes.sh b/devtools/check-includes.sh index c4ec73f1..685a3e77 100755 --- a/devtools/check-includes.sh +++ b/devtools/check-includes.sh @@ -111,6 +111,7 @@ include_dir=${1:-build/include} 'exec-env/*' \ 'rte_vhost.h' \ 'rte_eth_vhost.h' \ + 'rte_eal_interrupts.h' \ } : ${IGNORE_CXX= \ 'rte_vhost.h' \ |