diff options
Diffstat (limited to 'tools/ci/jobs/deheader.sh')
| -rwxr-xr-x | tools/ci/jobs/deheader.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/tools/ci/jobs/deheader.sh b/tools/ci/jobs/deheader.sh index 62e40e480..462320e3b 100755 --- a/tools/ci/jobs/deheader.sh +++ b/tools/ci/jobs/deheader.sh @@ -4,12 +4,6 @@ export LOGFILE2=logs/deheader2.log source ./tools/ci/scripts/init.sh -aptget_install python wget \ - gcc-5 g++-5 \ - libphysfs-dev \ - libxml2-dev libcurl4-gnutls-dev libpng-dev \ - libsdl-gfx1.2-dev libsdl-image1.2-dev libsdl-mixer1.2-dev libsdl-net1.2-dev libsdl-ttf2.0-dev - export dir=$(pwd) rm deheader |