summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/configure2
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 ;;