diff options
Diffstat (limited to '3rd-party/linux-errno.txt.gen')
-rwxr-xr-x | 3rd-party/linux-errno.txt.gen | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/3rd-party/linux-errno.txt.gen b/3rd-party/linux-errno.txt.gen deleted file mode 100755 index abfbe95..0000000 --- a/3rd-party/linux-errno.txt.gen +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh -# 3rd-party/linux-errno.txt.gen - Generate a listing of Linux kernel errnos -# -# Copyright (C) 2024 Luke T. Shumaker <lukeshu@lukeshu.com> -# SPDX-License-Identifier: AGPL-3.0-or-later - -set -e -( - cd "$1" - echo "# ${0%.gen} - Generated from linux.git $(git describe). DO NOT EDIT!" - git ls-files include/uapi/ | grep errno | - xargs sed -nE 's,#\s*define\s+(E[A-Z0-9]+)\s+([0-9]+)\s+/\* (.*) \*/,\2 \1 \3,p' | - sort --numeric-sort -) >"${0%.gen}" |