diff options
Diffstat (limited to 'lint/call_summary')
| -rwxr-xr-x | lint/call_summary | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lint/call_summary b/lint/call_summary index d4aa8cb..9686d0a 100755 --- a/lint/call_summary +++ b/lint/call_summary @@ -19,6 +19,7 @@ touch report RESULT=UNKNOWN echo "${RESULT}" > result +mkdir -p out export OUT="$(pwd)/out" cd work |