diff options
| author | Michael Tüxen <tuexen@fh-muenster.de> | 2016-08-27 12:06:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-27 12:06:18 +0200 |
| commit | 910d93993489c74dea800bd3fb7decae7ef29f2c (patch) | |
| tree | 0c272f27a7069b68c1f861debb81d7ebf00ce023 | |
| parent | 447eb180560a991bcda570874f1ea3a2a631f38e (diff) | |
Update run-some-sgp-tests
| -rwxr-xr-x | run-some-sgp-tests | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-some-sgp-tests b/run-some-sgp-tests index 050f4ff..f13e08a 100755 --- a/run-some-sgp-tests +++ b/run-some-sgp-tests @@ -1,4 +1,4 @@ -#!/bin/tcsh +#!/usr/bin/env tcsh set timeout = 10 set sleeptime = 1 |