Be stricter with filenames

1 files changed, 1 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index 23de7d0..a89ec25 100644
--- a/Makefile
+++ b/Makefile
@@ -69,8 +69,7 @@ lint:
 	    -e 's,^lib9p/idl/,,' \
 	    -e 's/\.wip$$//'); \
 	  filename_alt2=$$(echo "$$filename_alt1" | sed \
-	    -e 's,^sbc_harness/,,' \
-	    -e 's,^srv9p/,,'); \
+	    -e 's,^sbc_harness/hw/,hw/,'); \
 	  [ "$$dscname" == "$$filename" ] || [ "$$dscname" == "$$filename_alt1" ] || [ "$$dscname" == "$$filename_alt2" ] || \
 	    { echo "$$filename self-identifies as $$dscname"; r=1; continue; }; \
 	done; exit $$r