#! /bin/sh

#make configure happy
exit 0
