@@ -177,6 +177,8 @@ my $idris = $ENV{IDRIS};
177my $path = $ENV{PATH};
177my $path = $ENV{PATH};
178$ENV{PATH} = cwd() . "/" . $idris . ":" . $path;
178$ENV{PATH} = cwd() . "/" . $idris . ":" . $path;
180+my $startTime = time();
180foreach my $test (@tests) {
182foreach my $test (@tests) {
181 if ($diff == 0 && $show == 0) {
183 if ($diff == 0 && $show == 0) {
182 runtest($test,$update);
184 runtest($test,$update);
@@ -198,4 +200,9 @@ foreach my $test (@tests) {
203+my $endTime = time();
204+my $elapsedTime = $endTime - $startTime;
206+print "Duration of Entire Test Suite was $elapsedTime\n";
201exit $exitstatus;
208exit $exitstatus;