diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/configure | 3 |
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 |