regen 547 B

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