tccrun: improve rt_printline output format
commitaf839938102fbe0a958bd3a0832b1895fcf8854f
authorgrischka <grischka>
Wed, 15 Sep 2010 11:42:52 +0000 (15 13:42 +0200)
committergrischka <grischka>
Thu, 14 Jul 2011 17:11:08 +0000 (14 19:11 +0200)
tree644ef45d39e5bb25f21ae201db6640f96282c8ae
parentdf4c0892f3fb5170042652cd648a29c94c3a2eca
tccrun: improve rt_printline output format

Prefix line with "file:linenumber:" such that editors
can easily jump to the source location
tccrun.c