From 0aeedbe8c6c1970586c1cdfffcf83b46767ef1be Mon Sep 17 00:00:00 2001
From: deniallugo <deniallugo@gmail.com>
Date: Mon, 20 Dec 2021 09:31:52 +0100
Subject: [PATCH] Fix dockerignore

Signed-off-by: deniallugo <deniallugo@gmail.com>
---
 .dockerignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.dockerignore b/.dockerignore
index 20e12e850e..ab356ff649 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -1,4 +1,5 @@
 *
+!docker/prover/graceful-run.sh
 !docker/prover/prover-entry.sh
 !docker/exit-tool/exit-tool-entry.sh
 !docker/exit-tool/configs