diff options
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; \ |