diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/configure b/tools/configure index efa9c333c3..e3a2e3d37d 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -875,7 +875,7 @@ whichadvanced () { | |||
875 | fi | 875 | fi |
876 | if [ "yes" = "$simulator" ]; then | 876 | if [ "yes" = "$simulator" ]; then |
877 | debug="-DDEBUG" | 877 | debug="-DDEBUG" |
878 | extradefines="$extradefines -DSIMULATOR" | 878 | extradefines="$extradefines -DSIMULATOR -DHAVE_TEST_PLUGINS" |
879 | archosrom="" | 879 | archosrom="" |
880 | flash="" | 880 | flash="" |
881 | fi | 881 | fi |
@@ -3562,7 +3562,7 @@ fi | |||
3562 | fi | 3562 | fi |
3563 | debug="-DDEBUG" | 3563 | debug="-DDEBUG" |
3564 | simulator="yes" | 3564 | simulator="yes" |
3565 | extradefines="$extradefines -DSIMULATOR" | 3565 | extradefines="$extradefines -DSIMULATOR -DHAVE_TEST_PLUGINS" |
3566 | archosrom="" | 3566 | archosrom="" |
3567 | flash="" | 3567 | flash="" |
3568 | echo "Simulator build selected" | 3568 | echo "Simulator build selected" |