Delete profiling files after using them

joergen7 · Oct 18, 2016 · 99c79ce · 99c79ce
1 parent c9767d5
commit 99c79ce
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/effi.erl b/src/effi.erl
@@ -165,6 +165,8 @@ when is_tuple( Lam ),
 		            {error, _R1} -> <<>>;
 			          {ok, X}     -> X
 			        end,
+              % delete the profiling file
+              file:delete( effi_profiling:out_file( Prof ) ),
 
               % generate summary
               {finished, get_summary( Lam, Fa, R, RMap, Out, Tstart, Tdur,