]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ecf5636) | patch
Add missing vki header files to nobase_pkginclude_HEADERS.
authorMark Wielaard <mark@klomp.org>
Fri, 17 Apr 2020 14:12:06 +0000 (16:12 +0200)
committerMark Wielaard <mark@klomp.org>
Fri, 17 Apr 2020 14:13:08 +0000 (16:13 +0200)
commitbc7eb9046f93558903fc388a00dbb60c89a9cf73
treeb5fb56d41c8da9eeeec3e8d205ff82b53159e849tree | snapshot
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
Mirror of https://sourceware.org/git/valgrind.git