diff options
| author | Claudio André <claudioandre.br@gmail.com> | 2017-12-12 09:38:52 -0200 |
|---|---|---|
| committer | Claudio André <claudioandre.br@gmail.com> | 2017-12-12 09:38:52 -0200 |
| commit | 4850a1c14a23a60fb5d5a8afde34eda34e5f398c (patch) | |
| tree | d64677d80315f7198e389eb3bdb185fae5be14e9 /test/extra/do_docker.sh | |
| parent | 2e846383150d59c83fb702556a2b7c79245c40dc (diff) | |
| download | gjs-4850a1c14a23a60fb5d5a8afde34eda34e5f398c.tar.gz | |
CI: tweak the docker image
- Clean up the docker image a bit more.
- Install lcov in the base docker image.
[skip ci]
Diffstat (limited to 'test/extra/do_docker.sh')
| -rwxr-xr-x | test/extra/do_docker.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/extra/do_docker.sh b/test/extra/do_docker.sh index 9bc4de6c..f6e1a5d8 100755 --- a/test/extra/do_docker.sh +++ b/test/extra/do_docker.sh @@ -8,6 +8,7 @@ function do_Shrink_Image(){ rm -rf ~/bin/jhbuild ~/.local/bin/jhbuild ~/.cache/jhbuild rm -rf ~/.config/jhbuildrc ~/.jhbuildrc ~/checkout rm -rf ~/jhbuild/checkout + rm -rf ~/jhbuild/install/lib/libjs_static.ajs if [[ $BASE == "ubuntu" ]]; then apt-get -y -qq remove --purge apt-file |