diff options
| -rwxr-xr-x | tools/ci/jobs/deheader.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/tools/ci/jobs/deheader.sh b/tools/ci/jobs/deheader.sh index 9323756..d421206 100755 --- a/tools/ci/jobs/deheader.sh +++ b/tools/ci/jobs/deheader.sh @@ -4,11 +4,7 @@ export LOGFILE=deheader.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 +aptget_install python gcc-5 g++-5 export dir=$(pwd) export var=$2 |