diff options
| -rwxr-xr-x | run-some-asp-tests | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-some-asp-tests b/run-some-asp-tests index 8afaf75..8052f54 100755 --- a/run-some-asp-tests +++ b/run-some-asp-tests @@ -1,4 +1,4 @@ -#!/bin/tcsh +#!/usr/bin/env tcsh set timeout = 10 set sleeptime = 1 |