# HG changeset patch # User Dario Sestito # Date 1255951483 -3600 # Node ID 9f583ada8e4e0d9a1eda79613344bf9a1a2e222e # Parent 44d78dcb0be29fed63efd9ee31ad6e364fe4f5f9 Make script stop execution after help is displayed if --help diff -r 44d78dcb0be2 -r 9f583ada8e4e common/tools/generate_diamonds_tags_xml.pl --- a/common/tools/generate_diamonds_tags_xml.pl Mon Oct 19 12:23:25 2009 +0100 +++ b/common/tools/generate_diamonds_tags_xml.pl Mon Oct 19 12:24:43 2009 +0100 @@ -29,6 +29,7 @@ if ($help or !$outputfile) { print "Usage: perl generate_diamonds_tags_xml.pl --tags COMMA_SEPARATED_TAG_LIST --output OUTPUT_FILE\n"; + exit(0); } open(FILE, ">$outputfile");