<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Hallo,</div>

<div> </div>

<div>hatte das tttool vorher noch nicht kompiliert.</div>

<div>Hab es vorhin probiert, erhalte aber leider nur die Fehlermeldung:</div>

<div>TipToiYaml.hs:27:0:<br/>
     error: missing binary operator before token "("<br/>
phase `C pre-processor' failed (exitcode = 1)</div>

<div> </div>

<div>
<div> </div>

<div>Gehe davon aus das das an meiner Installation liegt,benutze Windows.</div>

<div>Probier es aber weiter.</div>

<div>Mfg</div>

<div> </div>

<div name="quote" style="margin:10px 5px 5px 10px; padding: 10px 0 10px 10px; border-left:2px solid #C3D9E5; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div style="margin:0 0 10px 0;"><b>Gesendet:</b> Dienstag, 17. März 2015 um 22:22 Uhr<br/>
<b>Von:</b> "Joachim Breitner" <mail@joachim-breitner.de><br/>
<b>An:</b> tiptoi@lists.nomeata.de<br/>
<b>Betreff:</b> Re: [Tiptoi] Jump Befehl im Tttool</div>

<div name="quoted-content">Hallo Stephan,<br/>
<br/>
<br/>
Am Dienstag, den 17.03.2015, 21:21 +0100 schrieb Joachim Breitner:<br/>
> Am Dienstag, den 17.03.2015, 20:57 +0100 schrieb stephan schewe:<br/>
> > besteht die Möglichkeit im Playmodus des Tttool den Jumpbefehl zu<br/>
> > integrieren? damit wäre das testen des Codes um vieles einfacher.<br/>
><br/>
> ja, kann ich machen. Wusste gar nicht dass der Playmodus groß benutzt<br/>
> wird.<br/>
<br/>
ok, ist drin. Hast du tttool selber kompiliert und kannst Testen ob das<br/>
so tut wie es soll?<br/>
<br/>
Gruß,<br/>
Joachim<br/>
--<br/>
Joachim “nomeata” Breitner<br/>
mail@joachim-breitner.de • <a href="http://www.joachim-breitner.de/" target="_blank">http://www.joachim-breitner.de/</a><br/>
Jabber: nomeata@joachim-breitner.de • GPG-Key: 0xF0FBF51F<br/>
Debian Developer: nomeata@debian.org<br/>
--<br/>
tiptoi mailing list<br/>
tiptoi@lists.nomeata.de<br/>
<a href="https://lists.nomeata.de/mailman/listinfo/tiptoi" target="_blank">https://lists.nomeata.de/mailman/listinfo/tiptoi</a></div>
</div>
</div></div></body></html>