aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichael Tüxen <tuexen@fh-muenster.de>2016-08-27 12:05:47 +0200
committerGitHub <noreply@github.com>2016-08-27 12:05:47 +0200
commit447eb180560a991bcda570874f1ea3a2a631f38e (patch)
treeb3ad0baa1516ad0be9072c3f7e93f515f7e43578
parentddbbd20df9d8141766e6941a32481df18986362a (diff)
Update run-some-asp-tests
-rwxr-xr-xrun-some-asp-tests2
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