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

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