Commit | Line | Data |
---|---|---|
b12915c1 | 1 | #!/bin/sh |
e7bcded4 VZ |
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 | ||
cc65fceb | 15 | CONFIG_FILES=$* |
b12915c1 VZ |
16 | CONFIG_HEADERS= |
17 | export CONFIG_FILES CONFIG_HEADERS | |
e7bcded4 VZ |
18 | ./config.status |
19 | exit $? |