From 75e6f7ad181d398b818367fdc5e86b1542d1bc0a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 18 Jun 2019 23:19:23 -0400
Subject: Implemented "hole" typing.

---
 commands | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'commands')

diff --git a/commands b/commands
index 9e55eeec6..fec197e6c 100644
--- a/commands
+++ b/commands
@@ -48,7 +48,7 @@ cd ~/lux/lux-scheme/ && lein clean
 		cd ~/lux/lux-js/ && lein_2_7_1 lux auto build
 		cd ~/lux/lux-js/ && lein clean && lein_2_7_1 lux auto build
 	# Try
-		cd ~/lux/lux-js/ && java -jar target/program.jar build --source ~/lux/stdlib/source --target ~/lux/stdlib/target --module test/lux
+		cd ~/lux/lux-js/ && time java -jar target/program.jar build --source ~/lux/stdlib/source --target ~/lux/stdlib/target --module test/lux
 
 # Python compiler
 	# Test
@@ -120,5 +120,5 @@ cd ~/lux/new-luxc/ && lein clean && lein_2_7_1 lux auto build
 cd ~/lux/new-luxc/ && java -jar target/program.jar repl --source ~/lux/stdlib/source --target ~/lux/stdlib/target
 
 # Build
-cd ~/lux/new-luxc/ && java -jar target/program.jar build --source ~/lux/stdlib/source --target ~/lux/stdlib/target --module test/lux
+cd ~/lux/new-luxc/ && time java -jar target/program.jar build --source ~/lux/stdlib/source --target ~/lux/stdlib/target --module test/lux
 
-- 
cgit v1.2.3