diff options
-rwxr-xr-x | tools/configure | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 85736d5735..79032c006e 100755 --- a/tools/configure +++ b/tools/configure @@ -822,6 +822,7 @@ help() { --thumb Build with -mthumb (for ARM builds) --no-thumb The opposite of --thumb (don't use thumb even for targets where this is the default + --prefix Target installation directory --help Shows this message (must not be used with other options) EOF @@ -859,6 +860,7 @@ for arg in "$@"; do --no-eabi) ARG_ARM_EABI=0;; --thumb) ARG_ARM_THUMB=1;; --no-thumb) ARG_ARM_THUMB=0;; + --prefix=*) PREFIX=`echo "$arg" | cut -d = -f 2`;; --help) help;; *) err=1; echo "[ERROR] Option '$arg' unsupported";; esac @@ -3065,7 +3067,7 @@ if [ "$ARG_ARM_EABI" = "1" ]; then cmdline="$cmdline--eabi " fi -cmdline="$cmdline--target=\$(MODELNAME) --ram=\$(MEMORYSIZE) --rbdir=\$(RBDIR) --type=$btype$advopts" +cmdline="$cmdline--target=\$(MODELNAME) --ram=\$(MEMORYSIZE) --rbdir=\$(RBDIR) --type=$btype$advopts --prefix=\$(PREFIX)" ### end of cmdline sed > Makefile \ |