@@ -81,6 +81,12 @@ if [ "${ARCH}" -a "${ARCH}" != "${arch}" ]; then
exit 1
fi
+if [ -z "${options}" ] ; then
+options+=$EXTRA_OPTS
+else
+options+=,$EXTRA_OPTS
+fi
+
if [ "$options" ] ; then
echo "Configuring for ${BOARD_NAME} - Board: ${CONFIG_NAME}, Options: ${options}"
else
@@ -146,7 +152,7 @@ else
> config.h # Create new config file
fi
echo "/* Automatically generated - do not edit */" >>config.h
-
+TARGETS+=`echo $EXTRA_OPTS | tr ',' ' '`
for i in ${TARGETS} ; do
i="`echo ${i} | sed '/=/ {s/=/\t/;q } ; { s/$/\t1/ }'`"
echo "#define CONFIG_${i}" >>config.h ;