diff options
Diffstat (limited to 'tnslc/run.sh')
| -rwxr-xr-x | tnslc/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tnslc/run.sh b/tnslc/run.sh index e02b7fd..c1b19e5 100755 --- a/tnslc/run.sh +++ b/tnslc/run.sh @@ -1,3 +1,3 @@ #!/bin/bash -../tint -quiet -in tnslc.tnsl -flags "$1" +../tint -in tnslc.tnsl -flags "$1" |