[Notion-commits] notion window manager core branch master updated. e8c3c5b9d91a6272faa7799b963620ce72d42b2d

[Arnout E. <rab...@us...>]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "notion window manager core".

The branch, master has been updated
       via  e8c3c5b9d91a6272faa7799b963620ce72d42b2d (commit)
      from  f0c182730f4ec345f37dfb5e383b1b927a544814 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit e8c3c5b9d91a6272faa7799b963620ce72d42b2d
Author: Arnout <arn...@bz...>
Date:   Sun Aug 26 03:26:34 2012 +0200

    Support for profiling the lua side, too.

-----------------------------------------------------------------------

Summary of changes:
 ioncore/profiling.c               |   58 +++++++++++++++++++++++--------------
 libextl                           |    2 +-
 utils/profiling/README            |   17 ++++++++++-
 utils/profiling/addr2line.pl      |   23 +++++++++++++-
 utils/profiling/addtailcalls.pl   |   33 +++++++++++++++++++++
 utils/profiling/filterinternal.pl |   12 +++++++
 utils/profiling/prof2callgrind.pl |   27 +++++++++++++----
 7 files changed, 140 insertions(+), 32 deletions(-)
 create mode 100755 utils/profiling/addtailcalls.pl
 create mode 100755 utils/profiling/filterinternal.pl


hooks/post-receive
-- 
notion window manager core