diff options
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/common/Options.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configs/common/Options.py b/configs/common/Options.py index 16d817f59..a3335c7ef 100644 --- a/configs/common/Options.py +++ b/configs/common/Options.py @@ -169,6 +169,8 @@ def addCommonOptions(parser): # dist-gem5 options parser.add_option("--dist", action="store_true", help="Parallel distributed gem5 simulation.") + parser.add_option("--dist-sync-on-pseudo-op", action="store_true", + help="Use a pseudo-op to start dist-gem5 synchronization.") parser.add_option("--is-switch", action="store_true", help="Select the network switch simulator process for a"\ "distributed gem5 run") |