summaryrefslogtreecommitdiff
path: root/tools/ci
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci')
-rwxr-xr-xtools/ci/jobs/deheader_sdl2.sh11
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/ci/jobs/deheader_sdl2.sh b/tools/ci/jobs/deheader_sdl2.sh
deleted file mode 100755
index 462320e3b..000000000
--- a/tools/ci/jobs/deheader_sdl2.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/bash
-
-export LOGFILE2=logs/deheader2.log
-
-source ./tools/ci/scripts/init.sh
-
-export dir=$(pwd)
-
-rm deheader
-tools/ci/scripts/retry.sh wget "https://gitlab.com/4144/deheader/raw/master/deheader"
-chmod +x deheader