#!/bin/sh
@configure_path@ -redo "$@"