Changeset c052d0 in git

Timestamp:

May 21, 1998, 10:54:31 AM (25 years ago)

Author:

Kai Krüger <krueger@…>

Branches:

(u'spielwiese', 'd1ba061a762c62d3a25159d8da8b6e17332291fa')

Children:

40706c061be30a110b52d5537e28bd8824eb11b8

Parents:

ea35599e9a4a656449259a45a33777c6075d7e6a

Message:

*** empty log message ***


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

File:

• Singular/utils.cc (modified) (1 diff)

Singular/utils.cc

@@ -17 +17 @@
   printf("USAGE: %s [options] singular-library\n", progname);
   printf("Options:\n");
-  printf("   -f <singular library> : checks\n");
+  printf("   -f <singular library> : performs syntax-checks\n");
   printf("   -d [digit]            : digit=1,..,4 increases the verbosity of the checks\n");
-  printf("   -s                    : \n");
+  printf("   -s                    : turns on reporting about violations of unenforced syntax rules\n");
   printf("   -h                    : print this message\n");
   exit(1);