diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-01-02 15:23:01 -0800 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-01-02 15:23:01 -0800 |
| commit | c9bda4d13ea33873dd5bce1eef0434cb11763d19 (patch) | |
| tree | 6a4488fc7c7dd3408687ecd03b94cac97a606f0a /html/052kernel-string-equal.subx.html | |
| parent | 6f1581e77b8587da86a2fdaa461f83ab464447ce (diff) | |
| download | mu-c9bda4d13ea33873dd5bce1eef0434cb11763d19.tar.gz | |
5875
Diffstat (limited to 'html/052kernel-string-equal.subx.html')
| -rw-r--r-- | html/052kernel-string-equal.subx.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/052kernel-string-equal.subx.html b/html/052kernel-string-equal.subx.html index c19d9e75..8a2dc15e 100644 --- a/html/052kernel-string-equal.subx.html +++ b/html/052kernel-string-equal.subx.html @@ -70,8 +70,8 @@ if ('onhashchange' in window) { <span id="L8" class="LineNr"> 8 </span><span class="subxComment"># null-terminated 'kernel string' with a length-prefixed 'SubX string'.</span> <span id="L9" class="LineNr"> 9 </span><span class="subxComment">#</span> <span id="L10" class="LineNr"> 10 </span><span class="subxComment"># To run (from the subx directory):</span> -<span id="L11" class="LineNr"> 11 </span><span class="subxComment"># $ ./subx translate 05[0-2]*.subx -o /tmp/tmp52</span> -<span id="L12" class="LineNr"> 12 </span><span class="subxComment"># $ ./subx run /tmp/tmp52 # runs a series of tests</span> +<span id="L11" class="LineNr"> 11 </span><span class="subxComment"># $ ./bootstrap translate 05[0-2]*.subx -o /tmp/tmp52</span> +<span id="L12" class="LineNr"> 12 </span><span class="subxComment"># $ ./bootstrap run /tmp/tmp52 # runs a series of tests</span> <span id="L13" class="LineNr"> 13 </span><span class="subxComment"># ...... # all tests pass</span> <span id="L14" class="LineNr"> 14 </span><span class="subxComment">#</span> <span id="L15" class="LineNr"> 15 </span><span class="subxComment"># (We can't yet run the tests when given a "test" commandline argument,</span> |