From 8473d07f31a62dcef378e6e56f5bbabd6755d006 Mon Sep 17 00:00:00 2001 From: Stephen Paul Weber Date: Tue, 18 Oct 2022 16:17:59 -0500 Subject: [PATCH] Ignore dist-newstyle for lint --- bin/lint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/lint b/bin/lint index 6dfaadf..c779d6d 100755 --- a/bin/lint +++ b/bin/lint @@ -1,7 +1,7 @@ #!/bin/sh -x if find . -name '*.hs' \ - -not -path '*/dist/*' -not -path '*/.git/*' \ + -not -path '*/dist/*' -not -path '*/dist-newstyle/*' -not -path '*/.git/*' \ -exec bin/line-check \{\} \; 2>&1 | grep '^' then exit 1 -- 2.38.5