diff options
| -rwxr-xr-x | .tools/licensecheck.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.tools/licensecheck.sh b/.tools/licensecheck.sh index f8dedf64..726fc304 100755 --- a/.tools/licensecheck.sh +++ b/.tools/licensecheck.sh @@ -18,5 +18,7 @@ export RES=$(cat license.log) if [[ -n "${RES}" ]]; then echo "Detected missing licenses." cat license.log + echo "Estimated total missing licenses:" + wc -l license.log exit 1 fi |