Changeset ef8e31 in git

Timestamp:

Sep 23, 2010, 4:54:44 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

1bbe56c3395fb524e5d06af66fab7842d676ab88

Parents:

63da2709a320941e4f1f989f4620fb9bf40496da

Message:

handle LIB"

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

File:

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

Singular/checklibs.c

@@ -71 +71 @@
     }
     else if (strstr(buf,"LIB ")!=NULL) break;
+    else if (strstr(buf,"LIB\"")!=NULL) break;
     else if (strstr(buf,"proc ")!=NULL) break;
     else if (strncmp(buf,"\";",2)==0) break; /* poor mans end-of-info*/
@@ -104 +105 @@
     if (*p=='\0') { get_next(); (*l)++; }
     else if (strstr(buf,"LIB ")!=NULL) break;
+    else if (strstr(buf,"LIB\"")!=NULL) break;
     else if (strstr(buf,"proc ")!=NULL) break;
     else if (strncmp(buf,"\";",2)==0) break; /* poor mans end-of-info*/
@@ -287 +289 @@
       if (p=pp) { have_info++; scan_info(&header); }
     }
+    if ((p=strstr(buf,"LIB\""))!=NULL)
+    {
+      printf("error: use a space between LIB and \""\n);
+      if (p!=buf)
+      { printf("end of header ? LIB should be in col. 1:>>%s<<\n",buf); }
+      break; /* end of header */
+    }
     if ((p=strstr(buf,"LIB \""))!=NULL)
     {