1 files changed, 17 insertions, 0 deletions
diff --git a/tools/ci/jobs/deheader.sh b/tools/ci/jobs/deheader.sh
new file mode 100755
index 000000000..834d8b8b5
--- /dev/null
+++ b/tools/ci/jobs/deheader.sh
@@ -0,0 +1,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