[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

export CONFIG_FILES=$1
export CONFIG_HEADERS=
./config.status
exit $?
Commit	Line	Data
e7bcded4 VZ	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$
	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
	15	export CONFIG_FILES=$1
	16	export CONFIG_HEADERS=
	17	./config.status
	18	exit $?