| 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 $?
|