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