#! /bin/sh -e
# bootstrap -- Use this script to create generated files from the CVS dist

if [ ! -d "build" ] ; then
    mkdir build
fi

