changeset 4458:57d533c21968

Off by one.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Thu, 23 Oct 2008 16:12:02 +0200
parents 8669a734ce20
children e2b86a77a303
files bin/gub
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/bin/gub	Thu Oct 23 15:59:37 2008 +0200
+++ b/bin/gub	Thu Oct 23 16:12:02 2008 +0200
@@ -261,7 +261,7 @@
     logging.default_logger.threshold = options.verbosity
 
     if not options.platform and len (files) == 1:
-        options.platform, x = misc.split_platform (files[1])
+        options.platform, x = misc.split_platform (files[0])
 
     if not options.platform:
         logging.error ('errror: platform not specied\n')