[gjs: 11/11] Merge branch 'wip/profiler' into 'master'

[Cosimo Cecchi <cosimoc src gnome org>]

commit 342a3240eb1eae5c20b7727fc8fe57952cb00c40
Merge: 7e1187d c3a4f69
Author: Cosimo Cecchi <cosimo cecchi gmail com>
Date:   Thu Jan 25 01:21:39 2018 +0000

    Merge branch 'wip/profiler' into 'master'
    
    Profiler
    
    Closes #31
    
    See merge request GNOME/gjs!37

 Makefile.am                                |   8 +-
 configure.ac                               |  14 +
 gi/foreign.cpp                             |  11 +-
 gjs-srcs.mk                                |   9 +
 gjs/console.cpp                            |  53 +++
 gjs/context.cpp                            |  91 +++++
 gjs/context.h                              |   8 +
 gjs/gjs.h                                  |   1 +
 gjs/profiler-private.h                     |  41 ++
 gjs/profiler.cpp                           | 615 ++++++++++++++++++++++++++++
 gjs/profiler.h                             |  52 +++
 installed-tests/scripts/testCommandLine.sh |  33 ++
 m4/extensions.m4                           | 183 +++++++++
 m4/timer_time.m4                           |  44 ++
 test/gjs-tests.cpp                         |  32 +-
 test/test-ci.sh                            |   4 +-
 util/sp-capture-types.h                    | 127 ++++++
 util/sp-capture-writer.c                   | 628 +++++++++++++++++++++++++++++
 util/sp-capture-writer.h                   |  81 ++++
 19 files changed, 2024 insertions(+), 11 deletions(-)
---