Updated git ignore to deal with the PIDs too

tekverkp · Jul 6, 2015 · d4344e3 · d4344e3
1 parent 69ee8ab
commit d4344e3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -19,6 +19,7 @@
 *.dylib
 *.dSYM
 *.jl.cov
+*.jl.*.cov
 *.jl.mem
 *.ji
 

diff --git a/src/codegen.cpp b/src/codegen.cpp
@@ -1294,7 +1294,9 @@ void write_log_data(logdata_t logData, const char *extension)
 extern "C" int jl_getpid();
 extern "C" void jl_write_coverage_data(void)
 {
- std::string outf = "." + std::to_string(jl_getpid()) + ".cov";
+ std::ostringstream stm;
+ stm << jl_getpid();
+ std::string outf = "." + stm.str() + ".cov";
  write_log_data(coverageData, outf.c_str());
 }