equal
deleted
inserted
replaced
67 (mkdir_p tmp_dir) unless File.directory?(tmp_dir) |
67 (mkdir_p tmp_dir) unless File.directory?(tmp_dir) |
68 chdir exe_dir do |
68 chdir exe_dir do |
69 packages_args = '' |
69 packages_args = '' |
70 packages.each {|p| packages_args += " -p #{p}"} |
70 packages.each {|p| packages_args += " -p #{p}"} |
71 |
71 |
72 File.exist?(coveragerportformat_dot_st) ? (runner_opts = "-abortOnSEGV -I --execute #{run_report_st}") : (runner_opts = "-I -f #{run_report_st}") |
72 File.exist?(coveragerportformat_dot_st) ? (runner_opts = "--abortOnSEGV --abortOnInternalError -I --execute #{run_report_st}") : (runner_opts = "-I -f #{run_report_st}") |
73 sh "#{exe} #{runner_opts} #{global_opts} -i \"#{BUILD_ID}\" -D \"#{report_dir}\" -r #{report} #{report_opts} #{packages_args}" |
73 sh "#{exe} #{runner_opts} #{global_opts} -i \"#{BUILD_ID}\" -D \"#{report_dir}\" -r #{report} #{report_opts} #{packages_args}" |
74 end |
74 end |
75 rm_rf tmp_dir |
75 rm_rf tmp_dir |
76 end |
76 end |
77 |
77 |