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)