#!/bin/sh

# OASIS_START
make configure CONFIGUREFLAGS="$*"
# OASIS_STOP