From e719a3e4c058920fb5913a38fbe4976d53a0e6e2 Mon Sep 17 00:00:00 2001
From: Gabe Black <gblack@eecs.umich.edu>
Date: Wed, 1 Aug 2007 18:19:23 -0700
Subject: Fix how the "cmd" parameter is set in se.py and remove hack in x86
 process initialization code.

--HG--
extra : convert_revision : 1fc741eea956ebfa4cef488eef4333d1f50617a6
---
 configs/example/se.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configs/example')

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
 
-- 
cgit v1.2.3