#!/bin/bash

cd $BLDDIR
rm -rf $BLDDIR/gnumach
cp -a $SRCDIR/gnumach .
cd $BLDDIR/gnumach
autoreconf -vif

CC=gcc \
./configure \
  --host=$TARGET \
  --prefix=/tools
make install-data

cd $ROOT
