digital mars updated

[wxWidgets.git] / regen

diff --git a/regen b/regen
index b5ec049779bb7351307f96eda6d2d7176e7b9b93..76f388cb4ac4d8c47149a586bf180c14d85d67ee 100755 (executable)
--- 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,8 @@ if test "x$1" = "x"; then
     exit 1
 fi
 
-export CONFIG_FILES=$1
-export CONFIG_HEADERS=
+CONFIG_FILES=$*
+CONFIG_HEADERS=
+export CONFIG_FILES CONFIG_HEADERS
 ./config.status
 exit $?