Index: parametric/common.awk
===================================================================
--- parametric/common.awk	(revision 7237)
+++ parametric/common.awk	(revision 7238)
@@ -559,7 +559,7 @@
 
 function help_auto()
 {
-	if (args ~ "^--help") {
+	if ((args ~ "^--help") || (args ~ ",[ \t]*--help")) {
 		help_print()
 		exit(0)
 	}