summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2017-01-25 18:01:08 +0300
committerAndrei Karas <akaras@inbox.ru>2017-01-25 18:01:08 +0300
commitb81e9a00faf9fe71546dae658775625bddd7c2f0 (patch)
tree797c9a964cfe187d5a6c5f2e38e80be5fa7c260f /tools
parent95abdee4ee3b29b500a1b285c1745d7f5acf799c (diff)
downloadmv-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-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