diff --git a/regen b/regen
index e05991a9fd..76f388cb4a 100755
--- a/regen
+++ b/regen
@@ -12,7 +12,7 @@ if test "x$1" = "x"; then
     exit 1
 fi
 
-CONFIG_FILES=$1
+CONFIG_FILES=$*
 CONFIG_HEADERS=
 export CONFIG_FILES CONFIG_HEADERS
 ./config.status