diff options
| author | Ben Smith <binjimin@gmail.com> | 2016-06-17 13:36:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-17 13:36:59 -0700 |
| commit | bb66db55c1767cb0cded918ef530f38aa956ffe9 (patch) | |
| tree | 7acb8ca3d873e0e9bc10660b485428af497d550d /.gitmodules | |
| parent | 35be50b28012f0efaaa55775529602dab76c6988 (diff) | |
| download | wabt-bb66db55c1767cb0cded918ef530f38aa956ffe9.tar.gz wabt-bb66db55c1767cb0cded918ef530f38aa956ffe9.tar.bz2 wabt-bb66db55c1767cb0cded918ef530f38aa956ffe9.zip | |
remove JavaScript engine testing (#89)
It's not really the appropriate place to handle it. Now that we have
wasm-wast and wasm-interp, we can at least verify that the tools are
internally consistent.
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index c6d99e5f..ded7619c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,9 +1,6 @@ [submodule "third_party/testsuite"] path = third_party/testsuite url = https://github.com/WebAssembly/testsuite -[submodule "third_party/v8/v8"] - path = third_party/v8/v8 - url = https://chromium.googlesource.com/v8/v8.git [submodule "third_party/gtest"] path = third_party/gtest url = https://github.com/google/googletest |