T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rename wasmtime's logfile names.

Browse Source
This commit is contained in:
Dan Gohman
2019-01-03 06:45:20 -08:00
parent f997cde2db
commit 450a279e18
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/wasmtime.rs
View File

@@ -55,7 +55,7 @@ use std::process::exit;
use wasmtime_execute::{ActionOutcome, InstancePlus, JITCode, Namespace}; use wasmtime_execute::{ActionOutcome, InstancePlus, JITCode, Namespace};
use wasmtime_wast::instantiate_spectest; use wasmtime_wast::instantiate_spectest;
static LOG_FILENAME_PREFIX: &str = "cranelift.dbg."; static LOG_FILENAME_PREFIX: &str = "wasmtime.dbg.";
const USAGE: &str = " const USAGE: &str = "
Wasm runner. Wasm runner.