diff options
| -rwxr-xr-x | edksetup.bat | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/edksetup.bat b/edksetup.bat index 7c7f52f6dd..3330154278 100755 --- a/edksetup.bat +++ b/edksetup.bat @@ -30,13 +30,16 @@ pushd .
cd %~dp0
-if defined WORKSPACE (
- if %WORKSPACE% == %CD% (
- @REM workspace is not changed.
- @goto ParseArgs
- )
+if not defined WORKSPACE (
+ @goto SetWorkSpace
+)
+
+if %WORKSPACE% == %CD% (
+ @REM Workspace is not changed.
+ @goto ParseArgs
)
+:SetWorkSpace
@REM set new workspace
@REM clear EFI_SOURCE and EDK_SOURCE for the new workspace
set WORKSPACE=%CD%
|