#! /bin/sh
./configure "$@" --disable-shared