diff --git a/configure b/configure index 664194310a..52dd3b440d 100755 --- a/configure +++ b/configure @@ -252,6 +252,9 @@ cd `dirname "$0"` sourceDir=`pwd` cd "$currentDir" +# backup the passed arguments +configureArgs="$@" + # default parameter values # platform=`uname` @@ -465,7 +468,8 @@ esac # Generate BuildConfig cat << EOF > "$buildOutputDir/BuildConfig" # BuildConfig -# Note: This file has been automatically generated by configure. +# Note: This file has been automatically generated by configure with the following arguments: +# ${configureArgs} TARGET_PLATFORM ?= "${target}" ; HOST_PLATFORM ?= "${buildPlatform}" ;