1#!/bin/sh
2# $Id$
3
4if !(./configure) then exit 1; fi
5make clean
6make
7