]>
Commit | Line | Data |
---|---|---|
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 | CONFIG_FILES=$* | |
16 | CONFIG_HEADERS= | |
17 | export CONFIG_FILES CONFIG_HEADERS | |
18 | ./config.status | |
19 | exit $? |