main.py (11635:e92bf392bf43) main.py (11878:f9e3be6b1634)
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

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

314
315 # tell C++ about output directory
316 core.setOutputDir(options.outdir)
317
318 # update the system path with elements from the -p option
319 sys.path[0:0] = options.path
320
321 # set stats options
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

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

314
315 # tell C++ about output directory
316 core.setOutputDir(options.outdir)
317
318 # update the system path with elements from the -p option
319 sys.path[0:0] = options.path
320
321 # set stats options
322 stats.initText(options.stats_file)
322 stats.addStatVisitor(options.stats_file)
323
324 # set debugging options
325 debug.setRemoteGDBPort(options.remote_gdb_port)
326 for when in options.debug_break:
327 debug.schedBreak(int(when))
328
329 if options.debug_flags:
330 check_tracing()

--- 86 unchanged lines hidden --- 		323
324 # set debugging options
325 debug.setRemoteGDBPort(options.remote_gdb_port)
326 for when in options.debug_break:
327 debug.schedBreak(int(when))
328
329 if options.debug_flags:
330 check_tracing()

--- 86 unchanged lines hidden ---