Changeset 73de87 in git


Ignore:
Timestamp:
Jan 24, 2019, 4:13:31 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')
Children:
b99f73ecc394b70f6e4b6dbfbf7c63e4a88e7a71
Parents:
c6a7373f30213435dfd44fbead5a898c4acd1cf83c2d4edb6f6663b62e5b25daa0134919ce5aa041
Message:
Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • Singular/iplib.cc

    rc6a7373 r73de87  
    11751175  }
    11761176  IDPACKAGE(pl)->language = LANG_C;
    1177   if (registered_dyn_module(FullName))
     1177  if (dynl_check_opened(FullName))
    11781178  {
    11791179    if (BVERBOSE(V_LOAD_LIB)) Warn( "%s already loaded as C library", fullname);

  • factory/Makefile.am

    r3c2d4e r73de87  
    172172libfactory_includedir = ${includedir}/factory
    173173
    174 nodist_libfactory_include_HEADERS = factory.h factoryconf.h
     174nodist_libfactory_include_HEADERS = factory.h factoryconf.h globaldefs.h
    175175
    176176
Note: See TracChangeset for help on using the changeset viewer.