| Index: frog/scripts/bootstrap/frog_wrapper.py
|
| ===================================================================
|
| --- frog/scripts/bootstrap/frog_wrapper.py (revision 2417)
|
| +++ frog/scripts/bootstrap/frog_wrapper.py (working copy)
|
| @@ -17,7 +17,7 @@
|
| print "Could not find frog"
|
| return 1
|
|
|
| - frog_args = ['frog.py', '--vm=' + VM]
|
| + frog_args = ['frog.py', '--vm=' + VM, '--']
|
| frog_args += args[2:len(args)]
|
|
|
| filename = None
|
| @@ -27,7 +27,7 @@
|
| paths = [os.path.dirname(home)]
|
| (filename, pathname, description) = imp.find_module('frog', paths)
|
| module = imp.load_module('frog', filename, pathname, description)
|
| - exit_code = module.main(args)
|
| + exit_code = module.main(frog_args)
|
| finally:
|
| if filename:
|
| filename.close()
|
|
|