diff options
| -rwxr-xr-x | utils/genrandconfig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/utils/genrandconfig b/utils/genrandconfig index 1d6ff990f5..35c7cbd14c 100755 --- a/utils/genrandconfig +++ b/utils/genrandconfig @@ -366,6 +366,8 @@ def gen_config(args): configlines.append("BR2_STATIC_LIBS=y\n") if randint(0, 20) == 0: configlines.append("BR2_PACKAGE_PYTHON_PY_ONLY=y\n") + if randint(0,5) == 0: + configlines.append("BR2_OPTIMIZE_2=y\n") # Write out the configuration file if not os.path.exists(args.outputdir): |
