Create log dir only if results_dir exists

Summary:
Create log dir only if results_dir exists, otherwise, log to standard
output and error even in developer mode.

Reviewed By: sblackshear

Differential Revision: D3522737

fbshipit-source-id: e00571b
master
Josh Berdine 9 years ago committed by Facebook Github Bot 4
parent d1fa1e130d
commit e1403f2a0c

@ -86,7 +86,10 @@ let out_formatter, err_formatter =
with Sys_error _ ->
failwithf "@.ERROR: cannot open output file %s@." fname
in
if Config.developer_mode then
if Config.developer_mode
&& Sys.file_exists Config.results_dir
&& Sys.is_directory Config.results_dir
then
let log_dir_name = "log" in
let analyzer_out_name = "analyzer_out" in
let analyzer_err_name = "analyzer_err" in

Loading…
Cancel
Save