?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: ecf5636) | patch
Add missing vki header files to nobase_pkginclude_HEADERS.
commitbc7eb9046f93558903fc388a00dbb60c89a9cf73
authorMark Wielaard <mark@klomp.org>
Fri, 17 Apr 2020 14:12:06 +0000 (17 16:12 +0200)
committerMark Wielaard <mark@klomp.org>
Fri, 17 Apr 2020 14:13:08 +0000 (17 16:13 +0200)
treeb5fb56d41c8da9eeeec3e8d205ff82b53159e849tree | snapshot (tar.gz zip)
parentecf5636a1442c024a9b30debcbec8c2013ec5af7commit | diff
Add missing vki header files to nobase_pkginclude_HEADERS.

Otherwise they don't show up in the dist tarball.
include/Makefile.am diff | blob | blame | history
Instrumentation framework for detecting many memory management and threading bugs, and profile your programs in detail.