| Index: frog/scripts/bootstrap/frogsh_bootstrap_wrapper.py
|
| diff --git a/frog/scripts/bootstrap/frogsh_bootstrap_wrapper.py b/frog/scripts/bootstrap/frogsh_bootstrap_wrapper.py
|
| index a557ff0945873c861fd70a82b12fb835a19af821..944884d484d85d24fda2e10eab22d20eddb2eace 100644
|
| --- a/frog/scripts/bootstrap/frogsh_bootstrap_wrapper.py
|
| +++ b/frog/scripts/bootstrap/frogsh_bootstrap_wrapper.py
|
| @@ -29,7 +29,6 @@ def main(args):
|
| id = platform.system()
|
| if id == 'Windows' or id == 'Microsoft':
|
| vm = vm + '.exe'
|
| - shutil.copy(os.path.join(HOME, 'frogsh.bat'), js_out + '.bat')
|
| frog_args = ['frog.py', '--vm=' + vm, '--', '--out=' + js_out, 'frog.dart']
|
|
|
| # TODO(ngeoffray): Compile frogsh without checks integrated.
|
|
|