summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xtools/configure3
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure
index 0d02ac6f7e..fcdd2dd236 100755
--- a/tools/configure
+++ b/tools/configure
@@ -2935,6 +2935,9 @@ fi
if test -n "$ccache"; then
cmdline="--ccache "
fi
+if [ "$ARG_ARM_EABI" = "1" ]; then
+ cmdline="$cmdline--eabi "
+fi
cmdline="$cmdline--target=\$(MODELNAME) --ram=\$(MEMORYSIZE) --rbdir=\$(RBDIR) --type=$btype$advopts"
### end of cmdline