diff --git a/compiler/profile_stats.py b/compiler/profile_stats.py deleted file mode 100755 index d3c33801..00000000 --- a/compiler/profile_stats.py +++ /dev/null @@ -1,5 +0,0 @@ -import pstats -p = pstats.Stats('profile.dat') -p.strip_dirs() -p.sort_stats('cumulative') -p.print_stats(50)