diff options
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 666343d0a3..6db43ea30c 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -196,6 +196,8 @@ if [ "-" = "$extra_defines" ]; then | |||
196 | extra_defines="" | 196 | extra_defines="" |
197 | fi | 197 | fi |
198 | fi | 198 | fi |
199 | else | ||
200 | extra_defines="" | ||
199 | fi | 201 | fi |
200 | fi | 202 | fi |
201 | 203 | ||