# HG changeset patch # User Sebastien Jodogne # Date 1438261780 -7200 # Node ID b6a80a5ac500126e51047dd8dfd139287d7892a2 # Parent bf9b8bfea0e79a4810d36472e6c9c9bbd438255b fix diff -r bf9b8bfea0e7 -r b6a80a5ac500 Resources/WindowsResources.py --- a/Resources/WindowsResources.py Thu Jul 30 14:12:12 2015 +0200 +++ b/Resources/WindowsResources.py Thu Jul 30 15:09:40 2015 +0200 @@ -53,10 +53,13 @@ RELEASE = 'Release %s' % VERSION v = VERSION.split('.') -if len(v) != 3: +if len(v) != 2 and len(v) != 3: sys.stderr.write('Bad version number: %s\n' % VERSION) sys.exit(-1) +if len(v) == 2: + v.append(0) + extension = os.path.splitext(FILENAME)[1] if extension.lower() == '.dll': BLOCK = '040904E4'