diff options
-rwxr-xr-x | tools/configure | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 0696aba583..1c7f03d06d 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -1493,7 +1493,6 @@ fi | |||
1493 | apps="bootloader" | 1493 | apps="bootloader" |
1494 | extradefines="-DBOOTLOADER -DE200R_INSTALLER -ffunction-sections -fdata-sections" | 1494 | extradefines="-DBOOTLOADER -DE200R_INSTALLER -ffunction-sections -fdata-sections" |
1495 | bootloader="1" | 1495 | bootloader="1" |
1496 | output="bootloader.bin" | ||
1497 | echo "e200R-installer build selected" | 1496 | echo "e200R-installer build selected" |
1498 | ;; | 1497 | ;; |
1499 | [Bb]) | 1498 | [Bb]) |