summaryrefslogtreecommitdiff
path: root/MAINTAINERS
diff options
context:
space:
mode:
authorThomas Monjalon <thomas@monjalon.net>2018-05-27 23:54:47 +0200
committerThomas Monjalon <thomas@monjalon.net>2018-05-29 17:43:33 +0200
commitf8ad40dc998cfaa5b08d97d813570ec6373dabcc (patch)
treee4b25cb7f96e8003b854a1eb7772fcbcc5e8efce /MAINTAINERS
parenta55277a788dfba015602cf0a56a6e584b5b2ec7d (diff)
downloaddpdk-f8ad40dc998cfaa5b08d97d813570ec6373dabcc.zip
dpdk-f8ad40dc998cfaa5b08d97d813570ec6373dabcc.tar.gz
dpdk-f8ad40dc998cfaa5b08d97d813570ec6373dabcc.tar.xz
devtools: check orphan symbols in map files
The script check-symbol-maps.sh finds the symbols exported in a map file but not referenced in the codebase. Suggested-by: Pavan Nikhilesh <pbhagavatula@caviumnetworks.com> Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
Diffstat (limited to 'MAINTAINERS')
-rw-r--r--MAINTAINERS1
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS
index 4d015fe..7398749 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -81,6 +81,7 @@ F: devtools/check-dup-includes.sh
F: devtools/check-maintainers.sh
F: devtools/check-git-log.sh
F: devtools/check-includes.sh
+F: devtools/check-symbol-maps.sh
F: devtools/checkpatches.sh
F: devtools/get-maintainer.sh
F: devtools/git-log-fixes.sh