1999-12-22 16:09:32 -05:00
|
|
|
#!/bin/sh
|
1999-12-15 12:06:32 -05:00
|
|
|
#
|
|
|
|
|
# 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
|
|
|
|
|
|
2000-01-08 10:46:33 -05:00
|
|
|
CONFIG_FILES=$*
|
1999-12-22 16:09:32 -05:00
|
|
|
CONFIG_HEADERS=
|
|
|
|
|
export CONFIG_FILES CONFIG_HEADERS
|
1999-12-15 12:06:32 -05:00
|
|
|
./config.status
|
|
|
|
|
exit $?
|
