diff options
author | Jesusaves <cpntb1@ymail.com> | 2018-03-24 16:13:49 -0300 |
---|---|---|
committer | Jesusaves <cpntb1@ymail.com> | 2018-03-24 16:13:49 -0300 |
commit | 3db1d71859f010566449b787b947c3a9241176a8 (patch) | |
tree | 7a7b4f1ad99140848cb0d6ab2f91070272e9e302 | |
parent | b595d184f2326546e8ccfac598ee478d568079f2 (diff) | |
download | serverdata-3db1d71859f010566449b787b947c3a9241176a8.tar.gz serverdata-3db1d71859f010566449b787b947c3a9241176a8.tar.bz2 serverdata-3db1d71859f010566449b787b947c3a9241176a8.tar.xz serverdata-3db1d71859f010566449b787b947c3a9241176a8.zip |
This should maybe fix pipelines when serverdata repo was renamed
-rwxr-xr-x | .tools/scripts/init.sh | 4 |
1 files changed, 2 insertions, 2 deletions
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 $? } |