From 3db1d71859f010566449b787b947c3a9241176a8 Mon Sep 17 00:00:00 2001 From: Jesusaves Date: Sat, 24 Mar 2018 16:13:49 -0300 Subject: This should maybe fix pipelines when serverdata repo was renamed --- .tools/scripts/init.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '.tools/scripts/init.sh') diff --git a/.tools/scripts/init.sh b/.tools/scripts/init.sh index 44b63d944..e920f9f87 100755 --- a/.tools/scripts/init.sh +++ b/.tools/scripts/init.sh @@ -154,9 +154,9 @@ function make_server { function do_init_data { mkdir shared + rm -rf ../server-data + cp -r . ../server-data cd .. - rm -rf server-data - cp -r serverdata server-data ls -la server-data check_error $? } -- cgit v1.2.3-60-g2f50