Changeset b565d4 in git

Timestamp:

Nov 16, 2011, 5:44:47 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

016648e66f1ba47dcd04e7815a1679555d738074

Parents:

d5add65b944701e25c47c31e8a82156f5758328d

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2011-11-16 17:44:47+01:00

git-committer:

Martin Lee <martinlee84@web.de>2013-01-18 16:15:04+01:00

Message:

add: option(noredefine) also for export

File:

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

Singular/ipshell.cc

@@ -1279 +1279 @@
   idhdl h=(idhdl)v->data;
   //Print("iiInternalExport('%s',%d)%s\n", v->name, toLev,"");
-  if (IDLEV(h)==0) Warn("`%s` is already global",IDID(h));
+  if (IDLEV(h)==0)
+  {
+    if (!BVERBOSE(V_REDEFINE)) Warn("`%s` is already global",IDID(h));
+  }
   else
   {
@@ -1438 +1441 @@
         if ((pack==currPack) && (old==(idhdl)v->data))
         {
-          Warn("`%s` is already global",IDID(old));
+          if (!BVERBOSE(V_REDEFINE)) Warn("`%s` is already global",IDID(old));
           break;
         }