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