#!/bin/sh
exec ./configure -redo "$@"