diff options
Diffstat (limited to 'Makefile.org')
| -rw-r--r-- | Makefile.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.org b/Makefile.org index 064be90922..6934c55667 100644 --- a/Makefile.org +++ b/Makefile.org @@ -425,7 +425,7 @@ tags: errors: $(PERL) util/mkerr.pl -recurse -write (cd engines; $(MAKE) PERL=$(PERL) errors) - $(PERL) util/ck_errf.pl */*.c */*/*.c + $(PERL) util/ck_errf.pl -strict */*.c */*/*.c stacks: $(PERL) util/mkstack.pl -write |