tools/ci/jobs/deheader.sh


1
2
3
4
5
6
7
8
9
10
11

#!/usr/bin/env 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