diff options
author | Waldemar Brodkorb <wbx@openadk.org> | 2014-05-24 15:01:45 +0200 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2014-05-24 22:47:47 +0200 |
commit | 19ab53e7a340aa3085e9bc7a5e1957237f7019aa (patch) | |
tree | 507678bc0aea82384254a38f08e49abb76f5052e /scripts/scan-tools.sh | |
parent | 56b4873f0feba3013f8ffc5ae119165322c3e33d (diff) |
fix varname, disable optimization flags for config
Diffstat (limited to 'scripts/scan-tools.sh')
-rw-r--r-- | scripts/scan-tools.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/scan-tools.sh b/scripts/scan-tools.sh index df018c7a9..23bc9770d 100644 --- a/scripts/scan-tools.sh +++ b/scripts/scan-tools.sh @@ -205,7 +205,7 @@ fi host_build_flex=0 if ! which flex >/dev/null 2>&1; then - host_build_m4=1 + host_build_flex=1 fi host_build_m4=0 |