Changeset 60da76 in git for Singular/extra.cc

Timestamp:

Sep 8, 2012, 8:32:51 AM (12 years ago)

Author:

Alexander Dreyer <alexander.dreyer@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

d1fbbf7c96369bd83b0fd1a804e99dfb09dd9e5d

Parents:

c4d8c3a681ea70bc8bd0864ac803ece0f451e619

Message:

system("reference"|"share") does nothing, when autoloaded anyway

File:

• Singular/extra.cc (modified) (2 diffs)

Singular/extra.cc

@@ -2931 +2931 @@
        if (strcmp(sys_cmd, "shared") == 0)
        {
+       #ifndef SINGULAR_COUNTEDREF_AUTOLOAD
          void countedref_shared_load();
          countedref_shared_load();
+       #endif
          res->rtyp = NONE;
          return FALSE;
@@ -2938 +2940 @@
        else if (strcmp(sys_cmd, "reference") == 0)
        {
+       #ifndef SINGULAR_COUNTEDREF_AUTOLOAD
          void countedref_reference_load();
          countedref_reference_load();
+       #endif
          res->rtyp = NONE;
          return FALSE;