1#!/bin/sh
2#
3# regenerates the file given as command line argument by running config.status
4# (the file is supposed to be generated by configure script)
5#
6# Version: $Id: regen 51530 2008-02-03 17:08:41Z VZ $
7# Author:  VZ
8################################################################################
9
10if test "x$1" = "x"; then
11    echo "Usage: $0 file_to_regenerate" >&2
12    exit 1
13fi
14
15CONFIG_FILES=$*
16CONFIG_HEADERS=
17export CONFIG_FILES CONFIG_HEADERS
18./config.status
19exit $?
20