Make "Name" really be the same as "name" with only the first letter capitalized....
authorGabe Black <gblack@eecs.umich.edu>
Wed, 4 Apr 2007 14:28:43 +0000 (14:28 +0000)
committerGabe Black <gblack@eecs.umich.edu>
Wed, 4 Apr 2007 14:28:43 +0000 (14:28 +0000)
--HG--
extra : convert_revision : bcbb28f2bf268765c1d37075a4417a4a6c1b9588

src/arch/isa_parser.py

index a0d671da1a445e7f071bd993ae4a0da455bf9bc2..0cb7bfc56b81e54e41408bd904b41c13c44459a9 100755 (executable)
@@ -866,7 +866,11 @@ class Format:
         context = {}
         updateExportContext()
         context.update(exportContext)
-        context.update({ 'name': name, 'Name': string.capitalize(name) })
+        if len(name):
+            Name = name[0].upper()
+            if len(name) > 1:
+                Name += name[1:]
+        context.update({ 'name': name, 'Name': Name })
         try:
             vars = self.func(self.user_code, context, *args[0], **args[1])
         except Exception, exc: