Merge pull request #37 from gaetanfl/fix_path

[github/fretlink/ansible-clever.git] / scripts / dhall_check.sh

diff --git a/scripts/dhall_check.sh b/scripts/dhall_check.sh
index 009d57021e427e6ca4326fc7e443b4c87930c6bc..a3413ec97662bc8a3fc0839107f0253e66e83dcf 100755 (executable)
--- a/scripts/dhall_check.sh
+++ b/scripts/dhall_check.sh
@@ -13,6 +13,7 @@ go() {
   for file in $(find -type f -name "*.dhall"); do
     pushd $(dirname $file);
     cat $(basename $file) | dhall --explain resolve > /dev/null;
+    echo "Typechecking ${file}"
     if [ "$?" -ne "0" ]; then
       echo "Failed to resolve $file"
       ERROR=1;