3 # regenerates the file given as command line argument by running config.status
4 # (the file is supposed to be generated by configure script)
8 ################################################################################
10 if test "x$1" = "x"; then
11 echo "Usage: $0 file_to_regenerate" >&2
15 export CONFIG_FILES=$1
16 export CONFIG_HEADERS=