From b81e9a00faf9fe71546dae658775625bddd7c2f0 Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Wed, 25 Jan 2017 18:01:08 +0300 Subject: Remove deheader_sdl2.sh because it same with deheader.sh --- tools/ci/jobs/deheader_sdl2.sh | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100755 tools/ci/jobs/deheader_sdl2.sh (limited to 'tools') 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 -- cgit v1.2.3-60-g2f50