update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / include / Makefile.am

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/Makefile.am b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/Makefile.am
index 33d085797fbe951ea02d9f9a41c1050bd33ce745..ae1f0cae9a6ed42ce9587d22f1c660eaa9935748 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/Makefile.am
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/Makefile.am
@@ -18,6 +18,7 @@ nobase_pkginclude_HEADERS = \
        pub_tool_libcfile.h             \
        pub_tool_libcprint.h            \
        pub_tool_libcproc.h             \
+       pub_tool_libcsetjmp.h           \
        pub_tool_libcsignal.h           \
        pub_tool_machine.h              \
        pub_tool_mallocfree.h           \
@@ -43,17 +44,20 @@ nobase_pkginclude_HEADERS = \
        vki/vki-posixtypes-ppc32-linux.h \
        vki/vki-posixtypes-ppc64-linux.h \
        vki/vki-posixtypes-x86-linux.h   \
-       vki/vki-posixtypes-arm-linux.h   \
+       vki/vki-posixtypes-arm-linux.h   \
+       vki/vki-posixtypes-s390x-linux.h \
        vki/vki-amd64-linux.h           \
        vki/vki-ppc32-linux.h           \
        vki/vki-ppc64-linux.h           \
        vki/vki-x86-linux.h             \
-       vki/vki-arm-linux.h             \
+       vki/vki-arm-linux.h             \
+       vki/vki-s390x-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-arm-linux.h      \
+       vki/vki-scnums-arm-linux.h      \
+       vki/vki-scnums-s390x-linux.h    \
        vki/vki-scnums-darwin.h
 
 noinst_HEADERS = \