tree a6c26196f368275a2cf7dfb58ba403024f3f248e
parent e5db52bfd61497dfcd310f88f6dc14c36b9b2aba
author Yonghong Song <yhs@fb.com> 1513203133 -0800
committer Yonghong Song <yhs@fb.com> 1513235671 -0800

add examples for including additional header files

Fix issue #1478
Two tools, trace.py and argdist.py, and their corresponding
example files were changed.
Fixed a minor typo in one of trace.py error messages.

Signed-off-by: Yonghong Song <yhs@fb.com>