X-Git-Url: https://git.saurik.com/wxWidgets.git/blobdiff_plain/1eb6f40e2a2fe37479c525445d180d6892087ce5..c5453c7956e115a1e7290f01cbbd730a5d8f3448:/regen?ds=sidebyside diff --git a/regen b/regen index b5ec049779..558c0e9bfc 100755 --- a/regen +++ b/regen @@ -1,4 +1,4 @@ -#!/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) @@ -12,7 +12,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 $?