diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 4e548eea91..8491ffdb35 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -3701,6 +3701,14 @@ if [ -z "$debug" ]; then | |||
3701 | GCCOPTS="$GCCOPTS $GCCOPTIMIZE" | 3701 | GCCOPTS="$GCCOPTS $GCCOPTIMIZE" |
3702 | fi | 3702 | fi |
3703 | 3703 | ||
3704 | # if building a simulator for an hosted port, APPLICATION | ||
3705 | # define clashes with SIMULATOR define | ||
3706 | |||
3707 | if [ "yes" = "$simulator" ]; then | ||
3708 | echo Unsetting APPLICATION define for SIMULATOR build | ||
3709 | unset application | ||
3710 | fi | ||
3711 | |||
3704 | if [ "yes" = "$application" ]; then | 3712 | if [ "yes" = "$application" ]; then |
3705 | echo Building Rockbox as an Application | 3713 | echo Building Rockbox as an Application |
3706 | extradefines="$extradefines -DAPPLICATION" | 3714 | extradefines="$extradefines -DAPPLICATION" |