Collect INNODB_TRX, INNODB_LOCKS, and INNODB_LOCK_WAITS. Fix update-module so it works again with Bash tools.

This commit is contained in:
Daniel Nichter
2012-08-30 15:40:09 -06:00
parent e5a7db8ea2
commit e1bd108aa4
3 changed files with 23 additions and 6 deletions

View File

@@ -182,10 +182,13 @@ for pkg in $pkgs; do
done
if [ $pkgs_updated -gt 0 ]; then
update_tool_header $tmp_tool_file
if [ $? -ne 0 ]; then
warn "Failed to update tool header"
else
if [ "$tool_lang" = "perl" ]; then
update_tool_header $tmp_tool_file
if [ $? -ne 0 ]; then
warn "Failed to update tool header"
fi
fi
if [ $EXIT_STATUS -eq 0 ]; then
cp $tmp_tool_file $tool_file
if [ $? -ne 0 ]; then
warn "Failed to copy $tmp_tool_file to $tool_file"