From 14725f82b61ecae6014c86762d3f2a768d573839 Mon Sep 17 00:00:00 2001 From: Denis Vlasenko Date: Wed, 8 Apr 2009 16:46:45 +0000 Subject: [PATCH] slight tweak to the leak detector --- shell/hush_leaktool.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) mode change 100644 => 100755 shell/hush_leaktool.sh diff --git a/shell/hush_leaktool.sh b/shell/hush_leaktool.sh old mode 100644 new mode 100755 index 54161b3e9..f8e47aecd --- a/shell/hush_leaktool.sh +++ b/shell/hush_leaktool.sh @@ -5,9 +5,9 @@ output=output freelist=`grep 'free 0x' "$output" | cut -d' ' -f2 | sort | uniq | xargs` -grep -v free "$output" >temp1 +grep -v free "$output" >"$output.leaked" for freed in $freelist; do echo Dropping $freed - grep -v $freed temp2 - mv temp2 temp1 + grep -v $freed <"$output.leaked" >"$output.temp" + mv "$output.temp" "$output.leaked" done