main.py (5801:e0850da03cd4) main.py (5802:1fb28f526602)
1# Copyright (c) 2005 The Regents of The University of Michigan
2# All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions are
6# met: redistributions of source code must retain the above copyright
7# notice, this list of conditions and the following disclaimer;
8# redistributions in binary form must reproduce the above copyright

--- 133 unchanged lines hidden (view full) ---

142 import info
143 import stats
144 import trace
145
146 def check_tracing():
147 if defines.TRACING_ON:
148 return
149
1# Copyright (c) 2005 The Regents of The University of Michigan
2# All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions are
6# met: redistributions of source code must retain the above copyright
7# notice, this list of conditions and the following disclaimer;
8# redistributions in binary form must reproduce the above copyright

--- 133 unchanged lines hidden (view full) ---

142 import info
143 import stats
144 import trace
145
146 def check_tracing():
147 if defines.TRACING_ON:
148 return
149
150 panic("Tracing is not enabled. Compile with TRACING_ON")
150 fatal("Tracing is not enabled. Compile with TRACING_ON")
151
152 # load the options.py config file to allow people to set their own
153 # default options
154 options_file = config.get('options.py')
155 if options_file:
156 scope = { 'options' : options }
157 execfile(options_file, scope)
158

--- 240 unchanged lines hidden --- 		151
152 # load the options.py config file to allow people to set their own
153 # default options
154 options_file = config.get('options.py')
155 if options_file:
156 scope = { 'options' : options }
157 execfile(options_file, scope)
158

--- 240 unchanged lines hidden ---