summaryrefslogtreecommitdiff
path: root/tnslc/run.sh
blob: 982ebf7aeb912ef2509ab07f421d79f56b05c4cc (plain)
1
2
3
4
5
#!/bin/bash

echo $1

../tint -in tnslc.tnsl -flags "$1"