summaryrefslogtreecommitdiff
path: root/tools/ci/jobs/deheader.sh
blob: 462320e3b1025c2fdbcbf20334a7cff8bdf38934 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
#!/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