diff options
| -rwxr-xr-x | tools/ci/jobs/deheader.sh | 10 | ||||
| -rwxr-xr-x | tools/ci/scripts/init.sh | 2 |
2 files changed, 6 insertions, 6 deletions
diff --git a/tools/ci/jobs/deheader.sh b/tools/ci/jobs/deheader.sh index 7f14a7b..9323756 100755 --- a/tools/ci/jobs/deheader.sh +++ b/tools/ci/jobs/deheader.sh @@ -4,11 +4,11 @@ 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 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) export var=$2 diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index a1a22f9..fa40737 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -210,4 +210,4 @@ function run_mplint { run_check_warnings } -#aptget_update +aptget_update |