diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-01-25 18:01:08 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-01-25 18:01:08 +0300 |
| commit | b81e9a00faf9fe71546dae658775625bddd7c2f0 (patch) | |
| tree | 797c9a964cfe187d5a6c5f2e38e80be5fa7c260f /tools | |
| parent | 95abdee4ee3b29b500a1b285c1745d7f5acf799c (diff) | |
| download | mv-b81e9a00faf9fe71546dae658775625bddd7c2f0.tar.gz mv-b81e9a00faf9fe71546dae658775625bddd7c2f0.tar.bz2 mv-b81e9a00faf9fe71546dae658775625bddd7c2f0.tar.xz mv-b81e9a00faf9fe71546dae658775625bddd7c2f0.zip | |
Remove deheader_sdl2.sh because it same with deheader.sh
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 |