diff options
Diffstat (limited to 'valgrind/change_ver.sh')
| -rwxr-xr-x | valgrind/change_ver.sh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/valgrind/change_ver.sh b/valgrind/change_ver.sh deleted file mode 100755 index 6d58f6307f..0000000000 --- a/valgrind/change_ver.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash - -if [ $# -ne 2 ]; then - echo "usage: $0 old_ver new_ver" - exit 1 -fi -old_ver=$(echo "$1" | sed 's/\./\\./g') -new_ver=$(echo "$2" | sed 's/\./\\./g') - -find -name 'pom.xml' -o -name 'feature.xml' -o -name 'MANIFEST.MF' | xargs sed -i "s/$old_ver/$new_ver/g" |