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