diff options
Diffstat (limited to 'wince/configure.bat')
-rw-r--r-- | wince/configure.bat | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/wince/configure.bat b/wince/configure.bat index 6240a3cee8..5e7b1b6b93 100644 --- a/wince/configure.bat +++ b/wince/configure.bat @@ -19,6 +19,8 @@ if "%1" == "--program-name" goto :progname if "%1" == "CC" goto :define if "%1" == "EMBEDDED_TOOLS_DIR" goto :define if "%1" == "CE_TOOLS_DIR" goto :define +if "%1" == "EMBEDDED_TOOLS4_DIR" goto :define +if "%1" == "CE_TOOLS4_DIR" goto :define echo>> ~tmp~.mak "%1" \ shift goto :loop |