We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 157333f commit e20a881Copy full SHA for e20a881
Makefile
@@ -25,7 +25,7 @@ all: check
25
26
# this target will be removed once the ignored scripts are fixed
27
partial-check:
28
- "$(CHECKER)" --ignore-files gateway_rename.scm,latex_unicode.py,menu.pl --recursive .
+ "$(CHECKER)" --ignore-files gateway_rename.scm,menu.pl --recursive .
29
30
check:
31
"$(CHECKER)" --recursive .
0 commit comments