diff options
Diffstat (limited to 'tools/all_syscalls')
-rwxr-xr-x | tools/all_syscalls | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/all_syscalls b/tools/all_syscalls index 9c147786cf..c8a56155b7 100755 --- a/tools/all_syscalls +++ b/tools/all_syscalls @@ -1,6 +1,7 @@ #!/bin/bash set -e +set -o pipefail OUTPUT=syscalls.h SYSCALL_INCLUDES=" |