diff options
| author | Hussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com> | 2018-11-19 18:57:33 +0100 |
|---|---|---|
| committer | Hussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com> | 2018-11-20 11:44:59 +0100 |
| commit | 8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f (patch) | |
| tree | 7357da6fdb0bb037a592bd454f13cdc078ebe16d /scripts/dhall_check.sh | |
| parent | 50a9e710f9cff8be9d85d7161bb454a46c3f5734 (diff) | |
| download | ansible-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-x | scripts/dhall_check.sh | 1 |
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; |