diff --git a/library/publish.sh b/library/publish.sh index ce7089245..1da2a562c 100755 --- a/library/publish.sh +++ b/library/publish.sh @@ -10,6 +10,7 @@ function process_line { # Get the filename from the URL local filename=models/$(basename $url) + echo "verifying $filename..." # If the file exists, compute its checksum if [ -f $filename ]; then