diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/jobs/deheader_sdl2.sh | 11 |
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 |