# HG changeset patch
# User Volker Birk <vb@pep-project.org>
# Date 1570823240 -7200
# Node ID d9eaf22f13ea6d7c180e2b7f36e825030a88b5db
# Parent  12c0bdcb709dd5f1c1695b53a4a7088b73d17c51
exit on version string

diff -r 12c0bdcb709d -r d9eaf22f13ea yml2c
--- a/yml2c	Fri Oct 11 21:39:11 2019 +0200
+++ b/yml2c	Fri Oct 11 21:47:20 2019 +0200
@@ -17,6 +17,7 @@
 
 def printInfo(option, opt_str, value, parser):
     sys.stdout.write(__doc__)
+    sys.exit(0)
 
 def w(msg):
     if isinstance(msg, BaseException):