blob: a184eb1c0aafebf6a21c4725dcb0fc9cb5b16915 (
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
make check RUNTESTFLAGS="-a $RUNTESTFLAGS" || true
|