diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 9cd3991e90..61c2618a98 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -1442,6 +1442,7 @@ fi | |||
1442 | apps="bootloader" | 1442 | apps="bootloader" |
1443 | extradefines="-DBOOTLOADER -DE200R_INSTALLER -ffunction-sections -fdata-sections" | 1443 | extradefines="-DBOOTLOADER -DE200R_INSTALLER -ffunction-sections -fdata-sections" |
1444 | bootloader="1" | 1444 | bootloader="1" |
1445 | output="bootloader.bin" | ||
1445 | echo "e200R-installer build selected" | 1446 | echo "e200R-installer build selected" |
1446 | ;; | 1447 | ;; |
1447 | [Bb]) | 1448 | [Bb]) |