diff options
| author | Ben Smith <binjimin@gmail.com> | 2018-01-21 10:26:48 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-21 10:26:48 -0800 |
| commit | c1270776b2104e3c50c5c39b1dfb633c42b1ce49 (patch) | |
| tree | 3d6c4ef44899aadb49408a21b354e27f3165f57d /test/dump/select.txt | |
| parent | 2d00abf7ab07422dc16ae023325adafac1c639ee (diff) | |
| download | wabt-c1270776b2104e3c50c5c39b1dfb633c42b1ce49.tar.gz wabt-c1270776b2104e3c50c5c39b1dfb633c42b1ce49.tar.bz2 wabt-c1270776b2104e3c50c5c39b1dfb633c42b1ce49.zip | |
Rename run args (#728)
As suggested in https://github.com/WebAssembly/wabt/pull/725#discussion_r162516714.
Diffstat (limited to 'test/dump/select.txt')
| -rw-r--r-- | test/dump/select.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/dump/select.txt b/test/dump/select.txt index 5920ac9c..d43812b5 100644 --- a/test/dump/select.txt +++ b/test/dump/select.txt @@ -1,5 +1,5 @@ ;;; TOOL: run-objdump -;;; FLAGS: -v +;;; ARGS: -v (module (func i32.const 2 |