#!/bin/bash

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