#!/bin/bash

cd $BLDDIR
rm -rf $BLDDIR/gnumach
cp -a $SRCDIR/gnumach .
cd $BLDDIR/gnumach
autoreconf -vif
  
./configure --prefix= \
    --build=${CHFS_HOST} --host=${CHFS_TARGET}
make
make DESTDIR=$CHFS install

cd $ROOT
