diff options
| author | David Marchand <[email protected]> | 2024-03-05 14:49:50 +0100 |
|---|---|---|
| committer | David Marchand <[email protected]> | 2024-03-06 22:11:31 +0100 |
| commit | 1fbb3977cb4cc95a88a383825b188398659883ea (patch) | |
| tree | a6f4e0dff95d68af235370cee5b91c7a245a9e3e /devtools | |
| parent | b407873ce93ac6c57618e7a7d67355bf593b2d10 (diff) | |
devtools: require version for experimental symbols
Add version to all symbols maps and a check so any experimental symbol
is versioned.
Signed-off-by: David Marchand <[email protected]>
Diffstat (limited to 'devtools')
| -rwxr-xr-x | devtools/check-symbol-maps.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/devtools/check-symbol-maps.sh b/devtools/check-symbol-maps.sh index ba2f892f56..6121f78ec6 100755 --- a/devtools/check-symbol-maps.sh +++ b/devtools/check-symbol-maps.sh @@ -97,4 +97,19 @@ if [ -n "$bad_format_maps" ] ; then ret=1 fi +find_non_versioned_maps () +{ + for map in $@ ; do + [ $(buildtools/map-list-symbol.sh -S EXPERIMENTAL -V unset $map | wc -l) = '0' ] || + echo $map + done +} + +non_versioned_maps=$(find_non_versioned_maps $@) +if [ -n "$non_versioned_maps" ] ; then + echo "Found non versioned maps:" + echo "$non_versioned_maps" + ret=1 +fi + exit $ret |
