diff options
Diffstat (limited to 'solenv/bin/checkdll.sh')
-rwxr-xr-x | solenv/bin/checkdll.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/solenv/bin/checkdll.sh b/solenv/bin/checkdll.sh index aa281af5d353..538a9c5fb513 100755 --- a/solenv/bin/checkdll.sh +++ b/solenv/bin/checkdll.sh @@ -82,6 +82,14 @@ if [ -x $checkdll ]; then fi else echo "WARNING: checkdll not found!" 1>&2 + + for parameter in $*; do + library=$parameter; + done + realname=`echo $library | sed "s/check_//"` + if [ $library != $realname ]; then + mv $library $realname + fi fi exit 0 |