diff options
| author | David Barri | 2019-03-17 19:31:51 +1100 |
|---|---|---|
| committer | David Barri | 2019-03-17 19:31:51 +1100 |
| commit | f9d6a8d39646d547239fb4f508ff9170283602f0 (patch) | |
| tree | d0fc8a48214ab62493438d0ad10538ba48076406 /tlc-dist-worker | |
| parent | f1dbd634856c2391c2123ce1f35f9443ee9d9e8f (diff) | |
| download | aur-f9d6a8d39646d547239fb4f508ff9170283602f0.tar.gz | |
Add tlc-dist-*
Diffstat (limited to 'tlc-dist-worker')
| -rwxr-xr-x | tlc-dist-worker | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tlc-dist-worker b/tlc-dist-worker new file mode 100755 index 000000000000..ed328b08ade6 --- /dev/null +++ b/tlc-dist-worker @@ -0,0 +1,2 @@ +#!/bin/sh +exec tla-tools tlc2.tool.distributed.TLCWorker "$@" |