diff options
| author | Jesusaves <cpntb1@ymail.com> | 2018-03-24 16:52:59 -0300 |
|---|---|---|
| committer | Jesusaves <cpntb1@ymail.com> | 2018-03-24 16:52:59 -0300 |
| commit | 3921e81ee50feb04d6d4e37639766257de17c60e (patch) | |
| tree | 8c93fc86085f426d4d6883bdfd96205576bad983 | |
| parent | 3605ca68d55461cb1da9b01f41f5d2c0ff514503 (diff) | |
| download | serverdata-jesusalva/pipelines.tar.gz serverdata-jesusalva/pipelines.tar.bz2 serverdata-jesusalva/pipelines.tar.xz serverdata-jesusalva/pipelines.zip | |
Allow repository to have any name, without causing pipelines to fail.jesusalva/pipelines
| -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 6effb177..378219eb 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 $? } |