diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/syscall-names-update.sh | 6 | ||||
| -rwxr-xr-x | tools/syscall-table-update.sh | 10 |
2 files changed, 10 insertions, 6 deletions
diff --git a/tools/syscall-names-update.sh b/tools/syscall-names-update.sh deleted file mode 100755 index c884b93cda..0000000000 --- a/tools/syscall-names-update.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -set -eu - -cd "$1" - -curl -L -o syscall-names.text 'https://raw.githubusercontent.com/hrw/syscalls-table/master/syscall-names.text' diff --git a/tools/syscall-table-update.sh b/tools/syscall-table-update.sh new file mode 100755 index 0000000000..15b7792c53 --- /dev/null +++ b/tools/syscall-table-update.sh @@ -0,0 +1,10 @@ +#!/bin/sh +set -eu + +cd "$1" && shift + +curl -L -o syscall-names.text 'https://raw.githubusercontent.com/hrw/syscalls-table/master/syscall-names.text' + +for arch in "$@"; do + curl -L -o syscalls-$arch "https://raw.githubusercontent.com/hrw/syscalls-table/master/tables/syscalls-$arch" +done |