aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/dhall_check.sh
diff options
context:
space:
mode:
authorHussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com>2018-11-19 18:57:33 +0100
committerHussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com>2018-11-20 11:44:59 +0100
commit8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f (patch)
tree7357da6fdb0bb037a592bd454f13cdc078ebe16d /scripts/dhall_check.sh
parent50a9e710f9cff8be9d85d7161bb454a46c3f5734 (diff)
downloadansible-clever-8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f.tar.gz
ansible-clever-8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f.tar.zst
ansible-clever-8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f.zip
add travis ci step for typechecking dhall
Diffstat (limited to 'scripts/dhall_check.sh')
-rwxr-xr-xscripts/dhall_check.sh1
1 files changed, 1 insertions, 0 deletions
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() {
13 for file in $(find -type f -name "*.dhall"); do 13 for file in $(find -type f -name "*.dhall"); do
14 pushd $(dirname $file); 14 pushd $(dirname $file);
15 cat $(basename $file) | dhall --explain resolve > /dev/null; 15 cat $(basename $file) | dhall --explain resolve > /dev/null;
16 echo "Typechecking ${file}"
16 if [ "$?" -ne "0" ]; then 17 if [ "$?" -ne "0" ]; then
17 echo "Failed to resolve $file" 18 echo "Failed to resolve $file"
18 ERROR=1; 19 ERROR=1;