Fix dockerignore

Signed-off-by: deniallugo <[email protected]>
SanGanz · Dec 20, 2021 · 0aeedbe · 0aeedbe
1 parent ae9ac82
commit 0aeedbe
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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