Create a new module, m_vkiscnums, and move all the system call numbers
into that. Mostly this means moving vki_unistd-<plat>.h to
include/vki/vki-scnums-<plat>.h.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6224 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/include/Makefile.am b/include/Makefile.am
index 4fb93cb..0331635 100644
--- a/include/Makefile.am
+++ b/include/Makefile.am
@@ -28,13 +28,14 @@
pub_tool_stacktrace.h \
pub_tool_threadstate.h \
pub_tool_tooliface.h \
+ pub_tool_vkiscnums.h \
valgrind.h \
vki-linux.h \
vki-amd64-linux.h \
vki-ppc32-linux.h \
vki-ppc64-linux.h \
vki-x86-linux.h \
- vki_posixtypes-amd64-linux.h \
- vki_posixtypes-ppc32-linux.h \
- vki_posixtypes-ppc64-linux.h \
- vki_posixtypes-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