From 311f10aa83b13c8d98cfe9000a32cc5710a91dbd Mon Sep 17 00:00:00 2001
From: Milo Davis <davis.mil@husky.neu.edu>
Date: Mon, 8 Jan 2018 22:00:03 -0500
Subject: [PATCH] Test: adds environment variable to disable contract
 typechecking

---
 test/test_contracts.sh | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/test/test_contracts.sh b/test/test_contracts.sh
index 41b60eb00..bb5f7c089 100755
--- a/test/test_contracts.sh
+++ b/test/test_contracts.sh
@@ -23,10 +23,13 @@ CONTRACT_PATH=contracts
 printf "\n\n"
 
 # Assert all contracts typecheck
-for contract in `ls $CONTRACT_PATH/*.tz`; do
-    printf "[Typechecking %s]\n" "$contract";
-    ${client} typecheck program "$contract";
-done
+if [ ! $NO_TYPECHECK ] ; then
+    for contract in `ls $CONTRACT_PATH/*.tz`; do
+        printf "[Typechecking %s]\n" "$contract";
+        ${client} typecheck program "$contract";
+    done
+    printf "All contracts are well typed\n\n"
+fi
 
 # FORMAT: assert_output contract_file storage input expected_result