Function eatComment

gfanlib/gfanlib_polymakefile.cpp:27–33

}

static void eatComment(stringstream &s)
{
  int c=s.get();
  while(c==' '||c=='\t')c=s.get();
  eatComment2(c,s);
  s.unget();
}

static string readUntil(istream &f, int c)
{