| 1 | #!/bin/sh |
| 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 | |
| 15 | if [ ! -x ./config.status ]; then |
| 16 | echo "Must be run from the top level wxWidgets build directory" >&2 |
| 17 | exit 1 |
| 18 | fi |
| 19 | |
| 20 | CONFIG_FILES=$* |
| 21 | CONFIG_HEADERS= |
| 22 | export CONFIG_FILES CONFIG_HEADERS |
| 23 | ./config.status |
| 24 | exit $? |