diff options
Diffstat (limited to 'Makefile.org')
-rw-r--r-- | Makefile.org | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.org b/Makefile.org index 5aa721f277..629cdaeffd 100644 --- a/Makefile.org +++ b/Makefile.org @@ -468,6 +468,7 @@ errors: $(PERL) util/ck_errf.pl -strict */*.c */*/*.c $(PERL) util/mkerr.pl -recurse -write (cd engines; $(MAKE) PERL=$(PERL) errors) + (cd crypto/ct; $(MAKE) PERL=$(PERL) errors) stacks: $(PERL) util/mkstack.pl -write |