diff options
Diffstat (limited to 'configs/common/Options.py')
| -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 f110f7dfb..a383b40ca 100644 --- a/configs/common/Options.py +++ b/configs/common/Options.py @@ -104,6 +104,8 @@ def addCommonOptions(parser): parser.add_option("--memchecker", action="store_true") # Cache Options + parser.add_option("--external-memory-system", type="string", + help="use external ports of this port_type for caches") parser.add_option("--caches", action="store_true") parser.add_option("--l2cache", action="store_true") parser.add_option("--fastmem", action="store_true") |