diff options
Diffstat (limited to 'tools/bin/gen-slickedit-workspace.cmd')
| -rw-r--r-- | tools/bin/gen-slickedit-workspace.cmd | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/tools/bin/gen-slickedit-workspace.cmd b/tools/bin/gen-slickedit-workspace.cmd new file mode 100644 index 00000000..bcd6cca1 --- /dev/null +++ b/tools/bin/gen-slickedit-workspace.cmd @@ -0,0 +1,43 @@ +@echo off +rem $Id: gen-slickedit-workspace.cmd $ +rem rem @file +rem Windows NT batch script for launching gen-slickedit-workspace.sh +rem + +rem +rem Copyright (C) 2009-2011 Oracle Corporation +rem +rem This file is part of VirtualBox Open Source Edition (OSE), as +rem available from http://www.virtualbox.org. This file is free software; +rem you can redistribute it and/or modify it under the terms of the GNU +rem General Public License (GPL) as published by the Free Software +rem Foundation, in version 2 as it comes in the "COPYING" file of the +rem VirtualBox OSE distribution. VirtualBox OSE is distributed in the +rem hope that it will be useful, but WITHOUT ANY WARRANTY of any kind. +rem + + +setlocal ENABLEEXTENSIONS +setlocal + +rem +rem gen-slickedit-workspace.sh should be in the same directory as this script. +rem +set MY_SCRIPT=%~dp0gen-slickedit-workspace.sh +if exist "%MY_SCRIPT%" goto found +echo gen-slickedit-workspace.cmd: failed to find gen-slickedit-workspace.sh in "%~dp0". +goto end + +rem +rem Found it, convert slashes and tell kmk_ash to interpret it. +rem +:found +set MY_SCRIPT=%MY_SCRIPT:\=/% +set MY_ARGS=%* +if ".%MY_ARGS%." NEQ ".." set MY_ARGS=%MY_ARGS:\=/% +kmk_ash %MY_SCRIPT% --windows-host %MY_ARGS% + +:end +endlocal +endlocal + |