#!/bin/bash

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