[PATCH 1/1] check_external_calls.sh: Print number of calls in tested file.

[jvesely]

Signed-off-by: Jan Vesely <jan.vesely@rutgers.edu>

[Jeroen_Ketema1]

LGTM.

-- Jeroen