extract-profile.in: Allow empty sections.

Create a section as soon as we see a section header; we no longer need
the more complicated lazy creation code.

diff --git a/extract-profile.in b/extract-profile.in
index dc816f36f02bb0085dd7b8e792832a5176920daa..918da8c884229df4e7f74fd19b0a2eaccecf3184 100755 (executable)
--- a/extract-profile.in
+++ b/extract-profile.in
@@ -376,6 +376,8 @@ def parse(filename, d):
         continue
       if line[0] == '[' and line[-1] == ']':
         sect = line[1:-1]
         continue
       if line[0] == '[' and line[-1] == ']':
         sect = line[1:-1]

+        if sect not in d:
+          d[sect] = Section(sect)

         continue
 
       ## Parse an assignment.
         continue
 
       ## Parse an assignment.


@@ -393,12 +395,7 @@ def parse(filename, d):
         raise UserError, "%s:%d: bad name `%s'" % (filename, n, name)
 
       ## Store the assignment.
         raise UserError, "%s:%d: bad name `%s'" % (filename, n, name)
 
       ## Store the assignment.

-      try:
-        d[sect][name] = value
-      except KeyError:
-        s = Section(sect)
-        d[sect] = s
-        s[name] = value
+      d[sect][name] = value

 
 ###--------------------------------------------------------------------------
 ### Main program.
 
 ###--------------------------------------------------------------------------
 ### Main program.