diff options
author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2019-04-18 15:40:30 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-18 15:40:30 -0700 |
commit | 5becae69e29c876f3ba46d6746764e409bd7fd9b (patch) | |
tree | f0fee2c10772faf9466b3f5ec0828e98184e516c /scripts/test | |
parent | 9233afca9a27f8794fb0c8b79b5fa0d8e47060d4 (diff) | |
download | binaryen-5becae69e29c876f3ba46d6746764e409bd7fd9b.tar.gz binaryen-5becae69e29c876f3ba46d6746764e409bd7fd9b.tar.bz2 binaryen-5becae69e29c876f3ba46d6746764e409bd7fd9b.zip |
Reland emitting of DataCount section (#2027)
This reverts commit cb2d63586c08a3dd194d2b733ceb3f5051c081f8.
The issues with feature validation were mostly resolved in #1993, and
this PR finishes the job by adding feature flags to wasm-as to avoid
emitting the DataCount section when bulk-memory is not enabled.
Diffstat (limited to 'scripts/test')
-rw-r--r-- | scripts/test/shared.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/test/shared.py b/scripts/test/shared.py index 8309d9b5c..14860a74c 100644 --- a/scripts/test/shared.py +++ b/scripts/test/shared.py @@ -384,7 +384,7 @@ def binary_format_check(wast, verify_final_result=True, wasm_as_args=['-g'], # checks we can convert the wast to binary and back print ' (binary format check)' - cmd = WASM_AS + [wast, '-o', 'a.wasm'] + wasm_as_args + cmd = WASM_AS + [wast, '-o', 'a.wasm', '-all'] + wasm_as_args print ' ', ' '.join(cmd) if os.path.exists('a.wasm'): os.unlink('a.wasm') |