CI: remove unused files

The build process requires its own project. So, remove all unneeded
files.

1 files changed, 0 insertions, 51 deletions

diff --git a/test/extra/do_docker.sh b/test/extra/do_docker.sh
deleted file mode 100755
index 9caa6300..00000000
--- a/test/extra/do_docker.sh
+++ /dev/null
@@ -1,51 +0,0 @@
-#!/bin/bash -e
-
-function do_Shrink_Image(){
-    echo
-    echo '-- Cleaning image --'
-    PATH=$PATH:~/.local/bin
-    jhbuild clean || true
-    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
-
-        apt-get -y autoremove
-        apt-get -y clean
-        rm -rf /var/lib/apt/lists/*
-
-    elif [[ $BASE == "fedora" ]]; then
-        dnf -y autoremove
-        dnf -y clean all
-    fi
-
-    echo '-- Done --'
-}
-
-if [[ $1 == "BUILD_MOZ" ]]; then
-    do_Install_Base_Dependencies
-    do_Set_Env
-
-    do_Show_Info
-    do_Patch_JHBuild
-    do_Build_JHBuild RESET
-    do_Build_Mozilla
-    do_Save_Files
-
-    if [[ $2 == "SHRINK" ]]; then
-        do_Shrink_Image
-    fi
-
-elif [[ $1 == "GET_FILES" ]]; then
-    do_Set_Env
-    do_Get_Files
-
-    if [[ $2 == "DOCKER" ]]; then
-        do_Install_Base_Dependencies
-        do_Install_Dependencies
-        do_Shrink_Image
-    fi
-fi