#!/bin/sh
./configure --enable-maintainer-mode --cache-file=config.cache $*
