Changeset 54e84ca in git for ntl/src/DoConfig

Timestamp:

Jun 6, 2006, 8:40:15 PM (17 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

fde597007f11fbf16445cfd215c8d3ab696801a0

Parents:

5d466e82411d12b39248c1ec6250033f82e612fc

Message:

*bricken: pattern matching improved


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

File:

• ntl/src/DoConfig (modified) (1 diff)

ntl/src/DoConfig

@@ -77 +77 @@
 foreach $arg (@ARGV) {
 
-   if ($arg =~ '-h|help|-help|--help') {
+   if ($arg =~ '^-h|help|-help|--help') {
       system("more ../doc/config.txt");
       exit;