#!/bin/bash
if [[ -x /bin/dash ]]; then
	CONFIG_SHELL=/bin/dash /bin/dash ./configure CONFIG_SHELL=/bin/dash "$@";
else
	./configure "$@";
fi