update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / include / pub_tool_vkiscnums_asm.h

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/pub_tool_vkiscnums_asm.h b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/pub_tool_vkiscnums_asm.h
index 9df39693bead0aa0c8a0c7d8d7857f643ef3e930..3946e6dcf4419e947ae1781222c67efb41cc92ea 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/pub_tool_vkiscnums_asm.h
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/pub_tool_vkiscnums_asm.h
@@ -45,6 +45,9 @@
 #elif defined(VGP_ppc64_linux)
 #  include "vki/vki-scnums-ppc64-linux.h"
 
+#elif defined(VGP_s390x_linux)
+#  include "vki/vki-scnums-s390x-linux.h"
+
 #elif defined(VGP_arm_linux)
 #  include "vki/vki-scnums-arm-linux.h"