)
SET PRODUCT_BUILD_TYPE=Release
-REM TODO: NGH: not Tested yet
+REM Building ISPC in DEBUG mode is definitely not relevant.
REM if %SAT_DEBUG% == 1 (
REM set PRODUCT_BUILD_TYPE=Debug
REM )
set PATH=%PATH%;%CYGWIN_ROOT_DIR%\bin
-SET CMAKE_OPTIONS=-DCMAKE_INSTALL_PREFIX:STRING=%PRODUCT_INSTALL:\=/%
+SET CMAKE_OPTIONS=
+SET CMAKE_OPTIONS=%CMAKE_OPTIONS% -DCMAKE_INSTALL_PREFIX:STRING=%PRODUCT_INSTALL:\=/%
SET CMAKE_OPTIONS=%CMAKE_OPTIONS% -DCMAKE_BUILD_TYPE:STRING=%PRODUCT_BUILD_TYPE%
SET CMAKE_OPTIONS=%CMAKE_OPTIONS% -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON
SET CMAKE_OPTIONS=%CMAKE_OPTIONS% -DPYTHON_EXECUTABLE=%PYTHON_ROOT_DIR:\=/%/python.exe
taskkill /F /IM "mspdbsrv.exe"
echo.
-echo ########## END
\ No newline at end of file
+echo ########## END