Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

native profiling tools support #789

Merged
merged 5 commits into from
Apr 5, 2014
Merged

Commits on Mar 14, 2014

  1. native profiling support

    only works with Linux for now
    LudwigKnuepfer committed Mar 14, 2014
    Configuration menu
    Copy the full SHA
    8ef02d3 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ad1d8df View commit details
    Browse the repository at this point in the history
  3. rebase_fixup

    LudwigKnuepfer committed Mar 14, 2014
    Configuration menu
    Copy the full SHA
    ae898ef View commit details
    Browse the repository at this point in the history
  4. make: streamline native targets

    The new target names are easier to remember / decipher:
    
    term
    term-cachegrind
    term-gprof
    term-valgrind
    
    all
    all-cachegrind
    all-gprof
    all-valgrind
    all-debug
    
    eval-gprof
    eval-cachegrind
    LudwigKnuepfer committed Mar 14, 2014
    Configuration menu
    Copy the full SHA
    a62559d View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    dfd0b43 View commit details
    Browse the repository at this point in the history