| | 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 $? |
projects / wxWidgets.git / blame_incremental