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: regen 51530 2008-02-03 17:08:41Z VZ $ 7# Author: VZ 8################################################################################ 9 10if test "x$1" = "x"; then 11 echo "Usage: $0 file_to_regenerate" >&2 12 exit 1 13fi 14 15CONFIG_FILES=$* 16CONFIG_HEADERS= 17export CONFIG_FILES CONFIG_HEADERS 18./config.status 19exit $? 20