diff --git a/src/update_repo.sh b/src/update_repo.sh index 1ce60c5148011be87606089c2a4938e52500650f..e48f5b68bf631cdf7a930c1294c26365d015d010 100755 --- a/src/update_repo.sh +++ b/src/update_repo.sh @@ -6,13 +6,12 @@ TARGET_PATH=/repo REPO_PATH=$SOURCE_PATH/work/repo S3_PATH=$SOURCE_PATH/s3 -mkdir -p $SOURCE_PATH/ -cp /Makefile $SOURCE_PATH/ - +mkdir -p $SOURCE_PATH mkdir -p $WORKDIR mkdir -p $REPO_PATH mkdir -p $S3_PATH cd $WORKDIR +cp /Makefile $WORKDIR/ while true; do make S3_PATH=$S3_PATH REPO_PATH=$REPO_PATH TARGET_PATH=$TARGET_PATH GIT_PATH=$GIT_PATH WORKDIR=$WORkDIR sleep $UPDATE_WAIT