summaryrefslogblamecommitdiff
path: root/tools/ci/jobs/deheader.sh
blob: 834d8b8b5039c52913febcfb1d2bb1d3c17edeb7 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
















                                                                                                 
#!/bin/bash

export LOGFILE2=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
wget "https://gitlab.com/4144/deheader/raw/master/deheader"
chmod +x deheader