From efd2c28b890faee7e8ec8eecbaa5dcc018e1b13e Mon Sep 17 00:00:00 2001
From: Adam Sutton <dev@adamsutton.me.uk>
Date: Fri, 8 Feb 2013 15:44:05 +0000
Subject: [PATCH] support: fix configure args storage.

---
 support/configure.inc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/support/configure.inc b/support/configure.inc
index 6b2dcece..ecb85da4 100644
--- a/support/configure.inc
+++ b/support/configure.inc
@@ -9,6 +9,8 @@
 # Defaults
 # ###########################################################################
 
+CONFIGURE_ARGS="$*"
+
 # System setup
 [ -z "$PLATFORM" ] && PLATFORM=linux
 [ -z "$CPU"      ] && CPU=generic
@@ -460,11 +462,12 @@ function write_config
 	CONFIG_MK=${ROOTDIR}/.config.mk
   cat > ${CONFIG_MK} <<EOF
 # Automatically generated by configure - DO NOT EDIT!
-CONFIGURE_ARGS = ${BASH_ARGV[*]}
+CONFIGURE_ARGS = ${CONFIGURE_ARGS}
 ROOTDIR  ?= ${ROOTDIR}
 BUILDDIR ?= ${ROOTDIR}/build.${PLATFORM}
 OSENV    ?= ${OSENV}
 ARCH     ?= ${ARCH}
+CPU      ?= ${CPU}
 ifeq (\$(origin CC),default)
 CC        = ${CC}
 endif