#!/bin/sh
#
# regenerates the file given as command line argument by running config.status
# (the file is supposed to be generated by configure script)
#
# Version: $Id$
# Author:  VZ
################################################################################

if test "x$1" = "x"; then
    echo "Usage: $0 file_to_regenerate" >&2
    exit 1
fi

CONFIG_FILES=$*
CONFIG_HEADERS=
export CONFIG_FILES CONFIG_HEADERS
./config.status
exit $?