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