diff options
Diffstat (limited to 'debian/update-helper-symbols.sh')
-rwxr-xr-x | debian/update-helper-symbols.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/debian/update-helper-symbols.sh b/debian/update-helper-symbols.sh new file mode 100755 index 00000000..c6d0f08f --- /dev/null +++ b/debian/update-helper-symbols.sh @@ -0,0 +1,14 @@ +#!/bin/bash +if [ "$#" -lt 2 ]; then + echo "Need at least two arguments" + echo "Usage: $0 <newversion> <symbol-files>..." +fi + +newv=${1} + +for symbolf in ${@:2} +do + echo "modifying ${symbolf}" + perl -pi -e "s/\.so\.[0-9.]*/.so.${newv}.0/g" "${symbolf}" + perl -pi -e "s/[0-9.]* #MINVER#/${newv} #MINVER#/g" "${symbolf}" +done |