void append_string(const char *str, int size)
{
int new_size = text_size + size + 1;
+ if (size > 70) {
+ fprintf (stderr, "%s:%d warning: Overlong line\n",
+ current_file->name, current_file->lineno);
+ }
+
if (new_size > text_asize) {
new_size += START_STRSIZE - 1;
new_size &= -START_STRSIZE;
void append_string(const char *str, int size)
{
int new_size = text_size + size + 1;
+ if (size > 70) {
+ fprintf (stderr, "%s:%d warning: Overlong line\n",
+ current_file->name, current_file->lineno);
+ }
if (new_size > text_asize) {
new_size += START_STRSIZE - 1;
new_size &= -START_STRSIZE;