jbe/bsw@0: --[[--
jbe/bsw@0: trace.enter_config{
jbe/bsw@0:   name = name 
jbe/bsw@0: }
jbe/bsw@0: 
jbe/bsw@0: This function is used by execute.config and logs the inclusion of a configuration.
jbe/bsw@0: 
jbe/bsw@0: --]]--
jbe/bsw@0: 
jbe/bsw@0: function trace.enter_config(args)
jbe/bsw@0:   local name = args.name
jbe/bsw@0:   if type(name) ~= "string" then
jbe/bsw@0:     error("No name string passed to trace.enter_config{...}.")
jbe/bsw@0:   end
jbe/bsw@0:   trace._open_section{ type = "config", name = name }
jbe/bsw@0: end