-#!/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)
exit 1
fi
-export CONFIG_FILES=$1
-export CONFIG_HEADERS=
+CONFIG_FILES=$*
+CONFIG_HEADERS=
+export CONFIG_FILES CONFIG_HEADERS
./config.status
exit $?