Changeset 650b43 in git for resources


Ignore:
Timestamp:
Mar 19, 2020, 4:33:07 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
7886c15a361119b200bd15faef4bf5b620d783ad
Parents:
b8243ec69f071b10ce2b8dca0efd89811e191f8f
Message:
chg: set errorreported befor WerrorS_callback (For Singular.jl)
File:
1 edited

Legend:

Unmodified
Added
Removed

  • resources/feFopen.cc

    rb8243ec r650b43  
    2424void WerrorS(const char *s)
    2525{
     26  errorreported = 1;
    2627  if (WerrorS_callback == NULL)
    2728  {
    … …  
    3536    WerrorS_callback(s);
    3637  }
    37   errorreported = 1;
    3838}
    3939}
Note: See TracChangeset for help on using the changeset viewer.