summarylogtreecommitdiffstats
path: root/tlc-dist-worker
blob: 4deb81433a5f17d4f68e978cef84e8866cfcb94f (plain) 
1
2

#!/bin/sh
exec "$(dirname "$0")"/tla-tools tlc2.tool.distributed.TLCWorker "$@"