diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-09-07 10:14:35 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-09-07 10:14:35 -0700 |
commit | 571bf69fbc3bdfc82d2fa86391deb0d3b3b67560 (patch) | |
tree | 77c17ef134ae8cd5247c5f404efcdba60802c992 /translate | |
parent | 1fafe7afe3fcd1ba67f9d6c42db710e0536e7258 (diff) | |
download | mu-571bf69fbc3bdfc82d2fa86391deb0d3b3b67560.tar.gz |
5635
Diffstat (limited to 'translate')
-rwxr-xr-x | translate | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/translate b/translate index 4546e15d..caa3b375 100755 --- a/translate +++ b/translate @@ -2,13 +2,17 @@ # Translate SubX using the self-hosted translator. # # Possible knobs: -# Whether to run a phase directly or emulated. +# Whether to run a phase natively or in emulated mode. # Just always emulate for now since we debug on non-Linux. # Whether to stop after a phase. -# Just always run all phases, but print out phases so it's clear where an error happens. -# Whether to trace a phase. Whether to always trace or rerun with tracing enabled after an error. -# Leave tracing to other scripts. We save intermediate files so it's easy to rerun a single phase afterwards. -# Whether to run a phase with debug information. (Need to juggle multiple sets of debug files.) +# Just always run all phases, but print out phases so it's clear where an +# error happens. +# Whether to trace a phase. Whether to always trace or rerun with tracing +# enabled after an error. +# Leave tracing to other scripts. We save intermediate files so it's easy +# to rerun a single phase afterwards. +# Whether to run a phase with debug information. (Need to juggle multiple +# sets of debug files.) # Again, that's for subsequent scripts. set -e |