diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/configure b/tools/configure index 9192601e9f..b4b180746a 100755 --- a/tools/configure +++ b/tools/configure @@ -226,7 +226,7 @@ whichdevel () { done if [ "yes" = "$simulator" ]; then - debug="1" + debug="-DDEBUG" extradefines="-DSIMULATOR" whichsim fi @@ -627,7 +627,7 @@ fi echo "Bootloader build selected" ;; [Ss]) - debug="1" + debug="-DDEBUG" simulator="yes" extradefines="-DSIMULATOR" echo "Simulator build selected" |