[wxWidgets.git] / regen

#!/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

if [ ! -x ./config.status ]; then
    echo "Must be run from the top level wxWidgets build directory" >&2
    exit 1
fi

CONFIG_FILES=$*
CONFIG_HEADERS=
export CONFIG_FILES CONFIG_HEADERS
./config.status
exit $?
Commit	Line	Data
b12915c1	1	#!/bin/sh
e7bcded4 VZ	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$
	7	# Author: VZ
	8	################################################################################
	9
	10	if test "x$1" = "x"; then
	11	echo "Usage: $0 file_to_regenerate" >&2
	12	exit 1
	13	fi
	14
d497bc65 VZ	15	if [ ! -x ./config.status ]; then
	16	echo "Must be run from the top level wxWidgets build directory" >&2
	17	exit 1
	18	fi
	19
cc65fceb	20	CONFIG_FILES=$*
b12915c1 VZ	21	CONFIG_HEADERS=
b12915c1 VZ	22	export CONFIG_FILES CONFIG_HEADERS
e7bcded4 VZ	23	./config.status
e7bcded4 VZ	24	exit $?