diff options
| author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-10-31 15:39:37 -0600 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-10-31 16:00:34 -0600 |
| commit | 3c81186daf97cf7011fd2806dfd0bc3b875e92f3 (patch) | |
| tree | 30a6a4b50ab2eb15e7c6dcf934dc6052bbea0224 /3rd-party | |
| parent | f2d53195fd86023d2ff9fcce68d2e150bfd97059 (diff) | |
Clean up the build system
Diffstat (limited to '3rd-party')
| -rw-r--r-- | 3rd-party/linux-errno.txt | 2 | ||||
| -rwxr-xr-x | 3rd-party/linux-errno.txt.gen | 14 |
2 files changed, 1 insertions, 15 deletions
diff --git a/3rd-party/linux-errno.txt b/3rd-party/linux-errno.txt index d2f6585..839efc2 100644 --- a/3rd-party/linux-errno.txt +++ b/3rd-party/linux-errno.txt @@ -1,4 +1,4 @@ -# ./3rd-party/linux-errno.txt - Generated from linux.git v6.7. DO NOT EDIT! +# 3rd-party/linux-errno.txt - Generated from build-aux/linux-errno.txt.gen and linux.git v6.7. DO NOT EDIT! 1 EPERM Operation not permitted 2 ENOENT No such file or directory 3 ESRCH No such process 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}" |