regen

   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 $?