#!/bin/sh

set -e

autoreconf -vfi
./configure --host=$(dpkg-architecture -qDEB_HOST_GNU_CPU)-gnu

gunzip < /boot/gnumach-$1.gz > gnumach-test
make check-TESTS GNUMACH=gnumach-test || ( cat test-suite.log ; false )
