Changeset a0da83 in git for Singular/misc_ip.cc


Ignore:
Timestamp:
Mar 31, 2015, 3:36:56 PM (9 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')
Children:
06cff955d56f17b8a3199fd8db5e3f4a6be98f35
Parents:
56225c216f0df9632a02f7b745efacd6da070754
Message:
test for a code coverage tool: via smon.out
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/misc_ip.cc

    r56225c ra0da83  
    10761076  if (!m2_end_called)
    10771077  {
     1078    extern FILE* File_Profiling;
     1079    if (File_Profiling!=NULL) { fclose(File_Profiling); File_Profiling=NULL; }
    10781080    m2_end_called = TRUE;
    10791081#ifdef HAVE_SIMPLEIPC
Note: See TracChangeset for help on using the changeset viewer.