diff options
| author | Philip Chimento <philip.chimento@gmail.com> | 2019-09-07 22:14:32 -0700 |
|---|---|---|
| committer | Philip Chimento <philip@endlessm.com> | 2019-09-19 17:37:04 -0700 |
| commit | 4dd2b099b32a6decea962768d21f89c83ab1dbe1 (patch) | |
| tree | d952fca69074d8029f073aacf841e8f62562eb22 /test/extra/do_docker.sh | |
| parent | ac38c10f55ef997f5bd596cce741b4fb58a68dcd (diff) | |
| download | gjs-4dd2b099b32a6decea962768d21f89c83ab1dbe1.tar.gz | |
CI: Remove "DEV" variable from Docker image generation
Since all the remaining images are "DEV: devel", we just make that the
default.
Diffstat (limited to 'test/extra/do_docker.sh')
| -rwxr-xr-x | test/extra/do_docker.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test/extra/do_docker.sh b/test/extra/do_docker.sh index 5c0d644e..184bc6b0 100755 --- a/test/extra/do_docker.sh +++ b/test/extra/do_docker.sh @@ -15,10 +15,6 @@ function do_Shrink_Image(){ if [[ $1 == "BUILD_MOZ" ]]; then do_Install_Dependencies do_Set_Env - - if [[ $DEV == "devel" ]]; then - do_Install_Extras - fi do_Show_Info do_Get_JHBuild do_Build_JHBuild |