blob: d2143e3fd1863d715d21710a2ca9feb534209535 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#!/bin/bash
set -x
cd /opt
echo $PATH
export PATH=/usr/local/bin:$PATH
echo $PATH
export DEJAGNU=$(pwd)/.ci/site.exp
echo $DEJAGNU
ls -l $DEJAGNU
pwd
find .
./configure --host=${HOST} || cat */config.log
make
make dist
BOARDSDIR=$(pwd)/.ci make check RUNTESTFLAGS="-a $RUNTESTFLAGS" || true
|
