Mark unused parameter as such, fixes #13402.

[wxWidgets.git] / regen

diff --git a/regen b/regen
index 0d894688ccb2e9227372576ae02d87c13c938fa9..558c0e9bfc9029fc88757b40976f51186fb8f59e 100755 (executable)
--- a/regen
+++ b/regen
@@ -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 $?