diff options
Diffstat (limited to 'include/Makefile.am')
-rw-r--r-- | include/Makefile.am | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/include/Makefile.am b/include/Makefile.am index eaa615eb3..ff430ae6d 100644 --- a/include/Makefile.am +++ b/include/Makefile.am @@ -28,19 +28,22 @@ incinc_HEADERS = \ pub_tool_stacktrace.h \ pub_tool_threadstate.h \ pub_tool_tooliface.h \ + pub_tool_vki.h \ pub_tool_vkiscnums.h \ valgrind.h \ - vki/vki-linux.h \ - vki/vki-amd64-linux.h \ - vki/vki-ppc32-linux.h \ - vki/vki-ppc64-linux.h \ - vki/vki-x86-linux.h \ vki/vki-linux.h \ vki/vki-posixtypes-amd64-linux.h \ vki/vki-posixtypes-ppc32-linux.h \ vki/vki-posixtypes-ppc64-linux.h \ vki/vki-posixtypes-x86-linux.h \ + vki/vki-amd64-linux.h \ + vki/vki-ppc32-aix5.h \ + vki/vki-ppc64-aix5.h \ + vki/vki-ppc32-linux.h \ + vki/vki-ppc64-linux.h \ + vki/vki-x86-linux.h \ vki/vki-scnums-amd64-linux.h \ vki/vki-scnums-ppc32-linux.h \ vki/vki-scnums-ppc64-linux.h \ - vki/vki-scnums-x86-linux.h + vki/vki-scnums-x86-linux.h \ + vki/vki-scnums-aix5.h |