aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 955bb70..88dc109 100644
--- a/Makefile
+++ b/Makefile
@@ -109,6 +109,7 @@ check-nixfmt:
FIXME-excludes = \
':(exclude)Makefile' \
+ ':(exclude)bin/aux' \
':(exclude)etc/git/ignore' \
':(exclude)opt/aux/gen-e-list.sh'
check-fixme: