output formatting improvement

2006-08-07 15:45:23 +00:00 · 2006-08-07 15:45:23 +00:00 · 923cac500a
parent 12838a204a
commit 923cac500a
1 changed files with 1 additions and 1 deletions
--- a/Filtered_kernel/developer_scripts/profile_cleanup
+++ b/Filtered_kernel/developer_scripts/profile_cleanup
@ -32,6 +32,6 @@ cat $@ | sed -e 's/CGAL:://g' \
             -e 's/<LK >//g' \
             -e 's/<EK >//g' \
             -e 's/<IK >//g' \
-             -e 's/ (.*)//g' \
+             -e 's/ (.*)/ /g' \
       | grep Profile_counter \
       | sort -t":" -k2