diff options
author | Matthew Kosarek <mattkae@protonmail.com> | 2021-07-01 19:46:08 -0400 |
---|---|---|
committer | Matthew Kosarek <mattkae@protonmail.com> | 2021-07-01 19:46:08 -0400 |
commit | 4878f0fc6a039d220dd7adecb18d19c688ae50b0 (patch) | |
tree | 993893f1d894aedb350e86c759370c0e8c54c443 /run_transpiler.sh | |
parent | 9f968320c83ce79f98006dec71674feff4686e3b (diff) |
(mkosarek) Decent SAT description for now
Diffstat (limited to 'run_transpiler.sh')
-rwxr-xr-x | run_transpiler.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run_transpiler.sh b/run_transpiler.sh index 4d51ba6..0275633 100755 --- a/run_transpiler.sh +++ b/run_transpiler.sh @@ -1 +1 @@ -cd transpiler && ./build.sh && cd .. && ./transpiler/transpiler
\ No newline at end of file +cd tools/transpiler && ./build.sh && cd ../.. && ./tools/transpiler/transpiler |