fix ignored source files in jepsen/store

gridgain · Dec 2, 2021 · f7e9861 · f7e9861
1 parent 51687a3
commit f7e9861
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docker/bin/up b/docker/bin/up
@@ -135,6 +135,7 @@ if [ -z "${DEV}" ]; then
     INFO "Copying .. to control/jepsen"
     (
         (cd ..; tar --exclude=./docker --exclude=./.git --exclude-ignore=.gitignore -cf - .)  | tar Cxf ./control/jepsen -
+        cp ../jepsen/src/jepsen/store/* ./control/jepsen/jepsen/src/jepsen/store/
     )
 fi