Changeset 9d58ee7 in git

Timestamp:

Sep 30, 2010, 3:54:55 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')

Children:

d69ff51738d76b034b21735a842dc1078df78b5b

Parents:

4a9dfd49b1568e388e0561b504d9730350585abc

Message:

allow REFERENCES

git-svn-id: file:///usr/local/Singular/svn/trunk@13346 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/checklibs.c (modified) (2 diffs)

Singular/checklibs.c

@@ -202 +202 @@
       if ((ch>1)||(pp+ch==p))
       {
-        printf("error: unknown section in library header: %s",buf);
-        have_other++;
+        /* check for other allowed sections: REFERENCES*/
+        if ((ch!=10)||(strncmp(pp,"REFERENCES",10)!=0))
+        {
+          printf("error: unknown section in library header: %s",buf);
+          have_other++;
+        }
         if (have_PROCEDURES!=0)
           printf("error: only KEYWORDS/SEE ALSO may follow PROCEDURES\n");
@@ -242 +246 @@
     if ((star_nl>0)&&(star_nl*10>=header))
     {
-      printf("warning: %d forced line braks in %d header lines: @* should be used very rarely!\n",star_nl,header);
+      printf("warning: %d forced line breaks in %d header lines: @* should be used very rarely!\n",star_nl,header);
     }
     if (texinfo>0)