#! /bin/sh

make clean
./config.status --recheck
./config.status
make
