diff options
Diffstat (limited to 'sysdeps/mach/hurd/errnos.awk')
| -rw-r--r-- | sysdeps/mach/hurd/errnos.awk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sysdeps/mach/hurd/errnos.awk b/sysdeps/mach/hurd/errnos.awk index dc19350eb0..24e37bdeb5 100644 --- a/sysdeps/mach/hurd/errnos.awk +++ b/sysdeps/mach/hurd/errnos.awk @@ -23,7 +23,8 @@ BEGIN { for (i = 1; i < ARGC; i++) { arg = ARGV[i]; - sub(/.*(manual|include)\//, "", arg) + sub(/.*(manual|include)\//, "", arg); + if (arg ~ /.*errnos.d/) continue; print " " arg; } print " Do not edit this file; edit errnos.awk and regenerate it. */"; |