diff options
Diffstat (limited to 'tools/syscall-names-update.sh')
-rwxr-xr-x | tools/syscall-names-update.sh | 6 |
1 files changed, 0 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' |