From 3c81186daf97cf7011fd2806dfd0bc3b875e92f3 Mon Sep 17 00:00:00 2001 From: "Luke T. Shumaker" Date: Thu, 31 Oct 2024 15:39:37 -0600 Subject: Clean up the build system --- 3rd-party/linux-errno.txt | 2 +- 3rd-party/linux-errno.txt.gen | 14 -------------- 2 files changed, 1 insertion(+), 15 deletions(-) delete mode 100755 3rd-party/linux-errno.txt.gen (limited to '3rd-party') 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 -# 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}" -- cgit v1.2.3-2-g168b