tree 92b7545c13e7a8d2ac2668afdfb5fc3cbfd71b82
parent dd2382088a3a598420286caa68e98f168a88bee3
author tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1427022118 +0000
committer tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1427022118 +0000

Include the platform name in the unhandled system call message

We often get bug reports for an unhandled system call which don't
make it clear what platform is in use, which makes it impossible
to know which system call it is.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15033 a5019735-40e9-0310-863c-91ae7b9d1cf9