diff options
Diffstat (limited to 'src/GNUmakefile')
-rw-r--r-- | src/GNUmakefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/GNUmakefile b/src/GNUmakefile index 9e4fde4..df675ad 100644 --- a/src/GNUmakefile +++ b/src/GNUmakefile @@ -140,6 +140,11 @@ $$(DESTDIR)$(3)/openssl/pubkey.lua: $$(d)/openssl.pubkey.lua $$(RM) -f $$@ $$(CP) -p $$< $$@ +$$(DESTDIR)$(3)/openssl/ocsp/%.lua: $$(d)/openssl.ocsp.%.lua + $$(LUAC$(1)_$(d)) -p $$< + $$(MKDIR) -p $$(@D) + $$(CP) -p $$< $$@ + $$(DESTDIR)$(3)/openssl/x509/%.lua: $$(d)/openssl.x509.%.lua $$(LUAC$(1)_$(d)) -p $$< $$(MKDIR) -p $$(@D) |