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 # Author:  VZ
   7 ################################################################################
   8
   9 if test "x$1" = "x"; then
  10     echo "Usage: $0 file_to_regenerate" >&2
  11     exit 1
  12 fi
  13
  14 if [ ! -x ./config.status ]; then
  15     echo "Must be run from the top level wxWidgets build directory" >&2
  16     exit 1
  17 fi
  18
  19 CONFIG_FILES=$*
  20 CONFIG_HEADERS=
  21 export CONFIG_FILES CONFIG_HEADERS
  22 ./config.status
  23 exit $?