# 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
################################################################################
exit 1
fi
-CONFIG_FILES=$1
+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