X-Git-Url: https://git.saurik.com/wxWidgets.git/blobdiff_plain/1eb6f40e2a2fe37479c525445d180d6892087ce5..339c6c92a276ac6b04dcb5deffaea7ccbd2ee109:/regen diff --git a/regen b/regen index b5ec049779..42ba832e0e 100755 --- a/regen +++ b/regen @@ -1,9 +1,8 @@ -#!/bin/ksh +#!/bin/sh # # regenerates the file given as command line argument by running config.status # (the file is supposed to be generated by configure script) # -# Version: $Id$ # Author: VZ ################################################################################ @@ -12,7 +11,13 @@ if test "x$1" = "x"; then exit 1 fi -export CONFIG_FILES=$1 -export CONFIG_HEADERS= +if [ ! -x ./config.status ]; then + echo "Must be run from the top level wxWidgets build directory" >&2 + exit 1 +fi + +CONFIG_FILES=$* +CONFIG_HEADERS= +export CONFIG_FILES CONFIG_HEADERS ./config.status exit $?