about summary refs log tree commit diff stats
path: root/translate
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2019-09-07 10:14:35 -0700
committerKartik Agaram <vc@akkartik.com>2019-09-07 10:14:35 -0700
commit571bf69fbc3bdfc82d2fa86391deb0d3b3b67560 (patch)
tree77c17ef134ae8cd5247c5f404efcdba60802c992 /translate
parent1fafe7afe3fcd1ba67f9d6c42db710e0536e7258 (diff)
downloadmu-571bf69fbc3bdfc82d2fa86391deb0d3b3b67560.tar.gz
5635
Diffstat (limited to 'translate')
-rwxr-xr-xtranslate14
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
artik Agaram <vc@akkartik.com> 2021-08-15 23:44:43 -0700 .' href='/akkartik/mu/commit/html/104test.subx.html?h=hlt&id=52e3ea8a4bec791e4c2d64fb8aca9e26cdf60f25'>52e3ea8a ^
20d6be52 ^
52e3ea8a ^
20d6be52 ^





1fca8ee1 ^
20d6be52 ^




























3350c34a ^
20d6be52 ^









dd60caa3 ^
20d6be52 ^










dd60caa3 ^
20d6be52 ^





dd60caa3 ^


















20d6be52 ^



1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108