skip apple options

[wxWidgets.git] / regen

diff --git a/regen b/regen
index b5ec049779bb7351307f96eda6d2d7176e7b9b93..42ba832e0e1e6987c4f2e92a41d14e300794e4b3 100755 (executable)
--- 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 $?