X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/f4122e6e085938b6d216a9ec724b974a603f6992..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/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 33d085797..ae1f0cae9 100644
--- 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 = \