Index: frog/scripts/bootstrap/frogsh_bootstrap_wrapper.py |
=================================================================== |
--- frog/scripts/bootstrap/frogsh_bootstrap_wrapper.py (revision 3517) |
+++ frog/scripts/bootstrap/frogsh_bootstrap_wrapper.py (working copy) |
@@ -29,6 +29,7 @@ |
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. |