diff options
author | Ali Saidi <saidi@eecs.umich.edu> | 2007-08-02 15:38:06 -0400 |
---|---|---|
committer | Ali Saidi <saidi@eecs.umich.edu> | 2007-08-02 15:38:06 -0400 |
commit | 31a9114a3d449c41a796bc26cce5dce86a4d1b15 (patch) | |
tree | e98c2fbbd384fb95c68c2867677363e1639509a6 /configs | |
parent | da5f62af7bdc4a0a6c8da1eee61b0ecb1a7212b4 (diff) | |
parent | dfa147a70ac87cdc5804993a0b39dfb8bb4cfa1b (diff) | |
download | gem5-31a9114a3d449c41a796bc26cce5dce86a4d1b15.tar.xz |
merge, no manual changes
--HG--
extra : convert_revision : 8504bddf1f73a4186cebc03c3e52e42ea38361fc
Diffstat (limited to 'configs')
-rw-r--r-- | configs/example/se.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/example/se.py b/configs/example/se.py index b294480f6..20fe75a21 100644 --- a/configs/example/se.py +++ b/configs/example/se.py @@ -64,7 +64,7 @@ if args: process = LiveProcess() process.executable = options.cmd -process.cmd = options.cmd + " " + options.options +process.cmd = [options.cmd] + options.options.split() if options.input != "": process.input = options.input |