diff options
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/example/fs.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/configs/example/fs.py b/configs/example/fs.py index a45b48c76..e9bc9afb6 100644 --- a/configs/example/fs.py +++ b/configs/example/fs.py @@ -65,6 +65,10 @@ config_root = os.path.dirname(config_path) parser = optparse.OptionParser() +# Simulation options +parser.add_option("--timesync", action="store_true", + help="Prevent simulated time from getting ahead of real time") + # System options parser.add_option("--kernel", action="store", type="string") parser.add_option("--script", action="store", type="string") @@ -187,4 +191,7 @@ else: print "Error I don't know how to create more than 2 systems." sys.exit(1) +if options.timesync: + root.time_sync_enable = True + Simulation.run(options, root, test_sys, FutureClass) |