main.py (5752:32ec0a0e41b2) main.py (5767:8e87c0aa1f0b)
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

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

305
306 on_flags = []
307 off_flags = []
308 for flag in options.trace_flags:
309 off = False
310 if flag.startswith('-'):
311 flag = flag[1:]
312 off = True
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

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

305
306 on_flags = []
307 off_flags = []
308 for flag in options.trace_flags:
309 off = False
310 if flag.startswith('-'):
311 flag = flag[1:]
312 off = True
313 if flag not in traceflags.allFlags:
313 if flag not in traceflags.allFlags and flag != "All":
314 print >>sys.stderr, "invalid trace flag '%s'" % flag
315 sys.exit(1)
316
317 if off:
318 off_flags.append(flag)
319 else:
320 on_flags.append(flag)
321

--- 78 unchanged lines hidden ---
314 print >>sys.stderr, "invalid trace flag '%s'" % flag
315 sys.exit(1)
316
317 if off:
318 off_flags.append(flag)
319 else:
320 on_flags.append(flag)
321

--- 78 unchanged lines hidden ---