Use /Fo instead of -o when invoking CL#354

Merged

dra27 merged 1 commit intoocaml:masterfrom dra27:cl-warning

Jan 22, 2018

+28-11

Commits on Jan 22, 2018

Use /Fo instead of -o when invoking CL
dra27
committed