summaryrefslogblamecommitdiff
path: root/tools/ci/jobs/deheader_sdl2.sh
blob: 462320e3b1025c2fdbcbf20334a7cff8bdf38934 (plain) (tree)
1
2
3
4
5
6
7
8
9

           
                                  


                                 


                 
                                                                                     
                 
#!/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