diff options
Diffstat (limited to '.ci/build-in-container.sh')
| -rwxr-xr-x | .ci/build-in-container.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.ci/build-in-container.sh b/.ci/build-in-container.sh new file mode 100755 index 0000000..a4124b0 --- /dev/null +++ b/.ci/build-in-container.sh @@ -0,0 +1,10 @@ +#!/bin/bash +set -x + +export QEMU_LD_PREFIX=/usr/${HOST} +export DEJAGNU=/opt/.ci/site.exp +cd /opt +./configure ${HOST+--host=$HOST --disable-shared} +make +make dist +BOARDSDIR=/opt/.ci make check RUNTESTFLAGS="-a $RUNTESTFLAGS" || true |