diff options
| -rw-r--r-- | scripts/fuzz_opt.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index c30a48720..7c4a87953 100644 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -455,7 +455,8 @@ def write_commands(commands, filename): f.write('set -e\n') for command in commands: f.write('echo "%s"\n' % command) - f.write(command + ' &> /dev/null\n') + pre = 'BINARYEN_PASS_DEBUG=%s ' % (os.environ.get('BINARYEN_PASS_DEBUG') or '0') + f.write(pre + command + ' &> /dev/null\n') f.write('echo "ok"\n') |