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 if [ ! -x ./config.status ]; then
  16     echo "Must be run from the top level wxWidgets build directory" >&2
  17     exit 1
  18 fi
  19
  20 CONFIG_FILES=$*
  21 CONFIG_HEADERS=
  22 export CONFIG_FILES CONFIG_HEADERS
  23 ./config.status
  24 exit $?