]> git.droids-corp.org - dpdk.git/commit
devtools: fix symbols check
authorThomas Monjalon <thomas@monjalon.net>
Tue, 8 Mar 2022 21:02:48 +0000 (22:02 +0100)
committerThomas Monjalon <thomas@monjalon.net>
Tue, 8 Mar 2022 21:19:18 +0000 (22:19 +0100)
commit272f94e58b01a904b5d8cf66649512b0d62f1a8c
treeb0c6824e12a7944bd6407b088b881de177516567
parent3b358e330153bc792c688d6da60c80c40eaacb22
devtools: fix symbols check

In some environments, the check of local symbols catch-all
was failing. Note: this script is called during the build.

The reason is that grep returns an error if nothing is found.
The option -e of the shell script makes this error fatal.
It is not always fatal because the grep is in a command substitution.

Fixes: b403498e1422 ("build: hide local symbols in shared libraries")
Reported-by: Usama Arif <usama.arif@bytedance.com>
Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
devtools/check-symbol-maps.sh