Merge pull request #936 from kennyyu/kennyyu-deadlock-detector
author4ast <alexei.starovoitov@gmail.com>
Tue, 7 Feb 2017 04:56:12 +0000 (20:56 -0800)
committerGitHub <noreply@github.com>
Tue, 7 Feb 2017 04:56:12 +0000 (20:56 -0800)
tools: add tool to detect potential deadlocks in running programs


Trivial merge