wxWidgets/regen
1999-12-15 17:06:32 +00:00

19 lines
421 B
Bash
Executable File

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