From 450a279e180f40a13750c1191df69a2b81e6f827 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Thu, 3 Jan 2019 06:45:20 -0800
Subject: [PATCH] Rename wasmtime's logfile names.

---
 src/wasmtime.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/wasmtime.rs b/src/wasmtime.rs
index d9ded12565..2dbae33cb5 100644
--- a/src/wasmtime.rs
+++ b/src/wasmtime.rs
@@ -55,7 +55,7 @@ use std::process::exit;
 use wasmtime_execute::{ActionOutcome, InstancePlus, JITCode, Namespace};
 use wasmtime_wast::instantiate_spectest;
 
-static LOG_FILENAME_PREFIX: &str = "cranelift.dbg.";
+static LOG_FILENAME_PREFIX: &str = "wasmtime.dbg.";
 
 const USAGE: &str = "
 Wasm runner.