diff options
author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-12-20 01:18:37 -0700 |
---|---|---|
committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-12-26 17:46:11 -0700 |
commit | 4eba23686e58008faa7798182ef3673b799b7e64 (patch) | |
tree | 44648311abd8265d02aa08a6b0cb1d3dca8adedd /GNUmakefile | |
parent | c578a300c7d0d46662fcd0bdce69af95a821bc18 (diff) |
lib9p/idl: Include directory name in file headers
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 9ebbe86..1ccbc73 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -133,7 +133,6 @@ lint/all: lint/%: -e 's,.*/config/,,' \ -e 's,.*/config\.h$$,config.h,' \ -e 's,.*include/,,' \ - -e 's,^lib9p/idl/,,' \ -e 's/\.wip$$//'); \ if [ "$$dscname_act" != "$$dscname_exp" ] && [ "cmd/$$dscname_act" != "$$dscname_exp" ]; then \ echo "$$filename self-identifies as $$dscname_act (expected $$dscname_exp)"; r=1; \ |