diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 06e8bebe8f..9192601e9f 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -206,7 +206,7 @@ whichdevel () { | |||
206 | case $option in | 206 | case $option in |
207 | [Dd]) | 207 | [Dd]) |
208 | echo "define DEBUG" | 208 | echo "define DEBUG" |
209 | debug="1" | 209 | debug="-DDEBUG" |
210 | GCCOPTS="$GCCOPTS -g -DDEBUG" | 210 | GCCOPTS="$GCCOPTS -g -DDEBUG" |
211 | ;; | 211 | ;; |
212 | [Ll]) | 212 | [Ll]) |