summaryrefslogtreecommitdiff
path: root/devtools
diff options
context:
space:
mode:
authorDavid Marchand <[email protected]>2024-03-05 14:49:50 +0100
committerDavid Marchand <[email protected]>2024-03-06 22:11:31 +0100
commit1fbb3977cb4cc95a88a383825b188398659883ea (patch)
treea6f4e0dff95d68af235370cee5b91c7a245a9e3e /devtools
parentb407873ce93ac6c57618e7a7d67355bf593b2d10 (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-xdevtools/check-symbol-maps.sh15
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