devtools: check Windows export files
authorDavid Marchand <david.marchand@redhat.com>
Fri, 16 Oct 2020 10:27:11 +0000 (12:27 +0200)
committerDavid Marchand <david.marchand@redhat.com>
Fri, 16 Oct 2020 12:01:37 +0000 (14:01 +0200)
commit2941600108cdf47a618368e63339d845f0df6cd8
tree8ffdd1274bdb46e31935a3d218188c5d3a00fe32
parent9e2af97f87615e7937eb350cceea9ba5e69e8b81
devtools: check Windows export files

Updating export files (supposed to disappear at some point, but still
there) might be missed when removing symbols in the API / map files.
Add a check for this case.

Signed-off-by: David Marchand <david.marchand@redhat.com>
Acked-by: Thomas Monjalon <thomas@monjalon.net>
devtools/check-symbol-maps.sh