diff options
| -rwxr-xr-x | tools/configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 666343d..6db43ea 100755 --- a/tools/configure +++ b/tools/configure @@ -196,6 +196,8 @@ if [ "-" = "$extra_defines" ]; then extra_defines="" fi fi + else + extra_defines="" fi fi |