#!/bin/sh
`dirname $0`/configure --enable-developer $*
