1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/bin/sh
#
# regenerates the file given as command line argument by running config.status
# (the file is supposed to be generated by configure script)
#
# Version: $Id: regen 52938 2008-03-31 15:00:42Z VZ $
# 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 $?
|