Changeset 4bd8b0 in git

Timestamp:

Nov 28, 2022, 1:14:06 PM (17 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

e3fd2385875172f7dad06ee5119ea14da2584462

Parents:

003f7169c5475df2e586ea9697de3901110b362d

Message:

checklibs: cgi-version

File:

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

Singular/checklibs.c

@@ -289 +289 @@
   memset(have_example,0,NUM_PROC);
   memset(proc_found,0,NUM_PROC);
-  if (argc!=2) { printf("usage: %s lib-file\n",argv[0]); return 1;}
-
-  printf("\n          CHECKING LIBRARY %s\n\n",argv[1]);
-
-  f=fopen(argv[1],"r");
-  if(f==NULL) { printf("cannot read %s\n",argv[1]); return 2; }
+  if (argc==1)
+  {
+    f=stdin;
+  }
+  else
+  {
+    if (argc!=2) { printf("usage: %s lib-file\n",argv[0]); return 1;}
+    printf("\n          CHECKING LIBRARY %s\n\n",argv[1]);
+    f=fopen(argv[1],"r");
+    if(f==NULL) { printf("cannot read %s\n",argv[1]); return 2; }
+  }
+
   buf[0]='\0';
   get_next(); header++;
@@ -315 +321 @@
         pp=p+8;
         while((*pp)==' ') pp++;
-        /* syntax of version string: "version <filename> <version> <date> "
+        /* syntax of version string: "version <filename> <version> <date> "
         if (*pp)!='"')
           printf("error: version string should ....");
-        */
+        */
       }
     }
@@ -407 +413 @@
         while(*p==' ') p++;
         if (*p == '"') have_doc[i]=1;
-        /* scan proc help*/
-        scan_proc_help(proc[i]);
+        /* scan proc help*/
+        scan_proc_help(proc[i]);
         /* serach for example */
         while(!feof(f))