if (! flag_mri)
if (! flag_m68k_mri)
s_include (arg)     int arg;{  char *newbuf;  char *filename;  int i;  FILE *try;  char *path;  if (! flag_mri)    filename = demand_copy_string (&i);  else    {      SKIP_WHITESPACE ();      i = 0;      while (! is_end_of_line[(unsigned char) *input_line_pointer]	     && *input_line_pointer != ' '	     && *input_line_pointer != '\t')	{	  obstack_1grow (&notes, *input_line_pointer);	  ++input_line_pointer;	  ++i;	}      obstack_1grow (&notes, '\0');      filename = obstack_finish (&notes);      while (! is_end_of_line[(unsigned char) *input_line_pointer])	++input_line_pointer;    }  demand_empty_rest_of_line ();  path = xmalloc ((unsigned long) i + include_dir_maxlen + 5 /* slop */ );  for (i = 0; i < include_dir_count; i++)    {      strcpy (path, include_dirs[i]);      strcat (path, "/");      strcat (path, filename);      if (0 != (try = fopen (path, "r")))	{	  fclose (try);	  goto gotit;	}    }  free (path);  path = filename;gotit:  /* malloc Storage leak when file is found on path.  FIXME-SOMEDAY. */  newbuf = input_scrub_include_file (path, input_line_pointer);  buffer_limit = input_scrub_next_buffer (&input_line_pointer);}				/* s_include() */