From f7e9861de5564b3c43c87a095f08352317986e69 Mon Sep 17 00:00:00 2001 From: zouyonghao Date: Thu, 2 Dec 2021 22:17:51 +0800 Subject: [PATCH] fix ignored source files in jepsen/store --- docker/bin/up | 1 + 1 file changed, 1 insertion(+) diff --git a/docker/bin/up b/docker/bin/up index eb081612..2d41f2d4 100755 --- 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