summaryrefslogtreecommitdiff
path: root/tools/ci/jobs/deheader.sh
blob: f664b20c1d73202bb5d7b85c5a76eb52954761be (plain) (blame)
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