[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

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
cc65fceb	15	CONFIG_FILES=$*
b12915c1 VZ	16	CONFIG_HEADERS=
b12915c1 VZ	17	export CONFIG_FILES CONFIG_HEADERS
e7bcded4 VZ	18	./config.status
e7bcded4 VZ	19	exit $?