Changeset 8d3a46e in git

Timestamp:

Jul 5, 2005, 6:11:08 PM (18 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

7567b02bf1e2845cea623ab7a98b409341a78f98

Parents:

9177e32dc562d9bb1d8c63e77c3d36a70a895d67

Message:

*hannes: ignore unknown options


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

File:

• ntl/configure (modified) (2 diffs)

ntl/configure

@@ -1 +1 @@
 #!/bin/sh
-# version $Id: configure,v 1.21 2005-07-04 14:50:17 Singular Exp $
+# version $Id: configure,v 1.22 2005-07-05 16:11:08 Singular Exp $
 
 while [ $# -ne 0 ]; do
@@ -26 +26 @@
          ;;
      *)
-         echo "Unknown option: $1";
+         : ignore all other options
          ;;
   esac;