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 9192601e9f..b4b180746a 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -226,7 +226,7 @@ whichdevel () { | |||
226 | done | 226 | done |
227 | 227 | ||
228 | if [ "yes" = "$simulator" ]; then | 228 | if [ "yes" = "$simulator" ]; then |
229 | debug="1" | 229 | debug="-DDEBUG" |
230 | extradefines="-DSIMULATOR" | 230 | extradefines="-DSIMULATOR" |
231 | whichsim | 231 | whichsim |
232 | fi | 232 | fi |
@@ -627,7 +627,7 @@ fi | |||
627 | echo "Bootloader build selected" | 627 | echo "Bootloader build selected" |
628 | ;; | 628 | ;; |
629 | [Ss]) | 629 | [Ss]) |
630 | debug="1" | 630 | debug="-DDEBUG" |
631 | simulator="yes" | 631 | simulator="yes" |
632 | extradefines="-DSIMULATOR" | 632 | extradefines="-DSIMULATOR" |
633 | echo "Simulator build selected" | 633 | echo "Simulator build selected" |