diff options
author | Jerome Forissier <jerome.forissier@linaro.org> | 2018-09-27 08:25:51 +0200 |
---|---|---|
committer | Jérôme Forissier <jerome.forissier@linaro.org> | 2018-10-01 12:58:49 +0200 |
commit | 374fd46e3c40a4a738121e66d548b227537a77f0 (patch) | |
tree | f29e2fafa9807f595d3303ca22651f256d9675a9 /.travis.yml | |
parent | 1912a1ee2226aedc55f82956b0d85b1ab52e65fb (diff) |
ci: travis: delete unused optee_os directory
The optee_os cloned using "repo" is not used, because we link to the
directory checked out by the CI process instead. Delete it to save about
160 MiB of disk space on the build server.
Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Acked-by: Jens Wiklander <jens.wiklander@linaro.org>
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 5441d34e..9d8e86da 100644 --- a/.travis.yml +++ b/.travis.yml @@ -53,7 +53,7 @@ before_script: - export PATH=$HOME/bin:$PATH - mkdir $HOME/optee_repo - (cd $HOME/optee_repo && repo init -u https://github.com/OP-TEE/manifest.git </dev/null && repo sync --no-clone-bundle --no-tags -j 20) - - (cd $HOME/optee_repo && mv optee_os optee_os_old && ln -s $MYHOME optee_os) + - (cd $HOME/optee_repo && rm -rf optee_os && ln -s $MYHOME optee_os) - cd $MYHOME - git fetch https://github.com/OP-TEE/optee_os --tags - unset CC |