diff --git a/tools/configure b/tools/configure index efa9c333c3..e3a2e3d37d 100755 --- a/tools/configure +++ b/tools/configure @@ -875,7 +875,7 @@ whichadvanced () { fi if [ "yes" = "$simulator" ]; then debug="-DDEBUG" - extradefines="$extradefines -DSIMULATOR" + extradefines="$extradefines -DSIMULATOR -DHAVE_TEST_PLUGINS" archosrom="" flash="" fi @@ -3562,7 +3562,7 @@ fi fi debug="-DDEBUG" simulator="yes" - extradefines="$extradefines -DSIMULATOR" + extradefines="$extradefines -DSIMULATOR -DHAVE_TEST_PLUGINS" archosrom="" flash="" echo "Simulator build selected"