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