X-Git-Url: https://git.immae.eu/?a=blobdiff_plain;f=scripts%2Fdhall_check.sh;h=a3413ec97662bc8a3fc0839107f0253e66e83dcf;hb=51b0de07287fc1e2e8f0d4dacfbb89f12a5ce6a9;hp=009d57021e427e6ca4326fc7e443b4c87930c6bc;hpb=50a9e710f9cff8be9d85d7161bb454a46c3f5734;p=github%2Ffretlink%2Fansible-clever.git

diff --git a/scripts/dhall_check.sh b/scripts/dhall_check.sh
index 009d570..a3413ec 100755
--- 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;