diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 67c0b6a418..ac657e38c9 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -4280,7 +4280,7 @@ fi | |||
4280 | toolset=''; | 4280 | toolset=''; |
4281 | t_cpu=''; | 4281 | t_cpu=''; |
4282 | GCCOPTS=''; | 4282 | GCCOPTS=''; |
4283 | extradefines="$extradefines -DDEBUG" | 4283 | extradefines="$extradefines -DDEBUG -DWARBLE" |
4284 | output='warble.'${modelname}; | 4284 | output='warble.'${modelname}; |
4285 | echo "Warble build selected" | 4285 | echo "Warble build selected" |
4286 | ;; | 4286 | ;; |