Changeset 2f6b7cb in git

Timestamp:

Sep 29, 2016, 10:01:56 AM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

a163b285f10edfeeb40f2314bfc7233a710282c5

Parents:

890d145fd6470887f31bfe1680256ee35127006b

Message:

chg: redefine warning only if option(redefine)

Location:

Singular

Files:

• ipassign.cc (modified) (1 diff)
• iplib.cc (modified) (1 diff)

Singular/ipassign.cc

@@ -2199 +2199 @@
     if (t!=NULL)
     {
-      Warn("redefining %s (%s)",vn,my_yylinebuf);
+      if (BVERBOSE(V_REDEFINE)) Warn("redefining %s (%s)",vn,my_yylinebuf);
       killhdl(t);
     }

Singular/iplib.cc

@@ -915 +915 @@
   {
     pi = IDPROC(h);
-    if (pi->language == LANG_SINGULAR)
+    if ((pi->language == LANG_SINGULAR)
+    &&(BVERBOSE(V_REDEFINE)))
       Warn("extend `%s`",procname);
   }